Twist-Valued Models for Three-Valued Paraconsistent Set Theory
From MaRDI portal
Publication:5013621
DOI10.12775/LLP.2020.015MaRDI QIDQ5013621
Marcelo E. Coniglio, Walter Alexandre Carnielli
Publication date: 2 December 2021
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1911.11833
Boolean-valued modelsLeibniz's lawlogics of formal inconsistencyparaconsistent set theoryaxiomatic set theorytwist structuresthree-valued paraconsistent logics
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- A lattice-valued set theory
- Fuzzy logic and fuzzy set theory
- Quantum set theory
- Models for a paraconsistent set theory
- An epistemic approach to paraconsistency: a logic of evidence and truth
- Paraconsistent logic: consistency, contradiction and negation
- Paraconsistent set theory by predicating on consistency
- Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
- Formal inconsistency and evolutionary databases
- Non-deterministic algebraization of logics by swap structures1
- ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
- Logics of Formal Inconsistency
- First-order swap structures semantics for some logics of formal inconsistency
- An alternative approach for quasi-truth
- GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
- Transfer principle in quantum set theory
This page was built for publication: Twist-Valued Models for Three-Valued Paraconsistent Set Theory
