A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory

DOI10.1007/978-81-322-2719-9_7zbMath1423.03105OpenAlexW2465132475MaRDI QIDQ5241523

Sourav Tarafder, Mihir Kumar Chakraborty

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_7

zbMATH Keywords

paraconsistent logicmodels of set theorythree-valued matrices

Mathematics Subject Classification ID

Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Paraconsistent logics (03B53)

Related Items (5)

NON-CLASSICAL FOUNDATIONS OF SET THEORY ⋮ \(\mathsf{ZF}\) and its interpretations ⋮ INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES ⋮ Constructing illoyal algebra-valued models of set theory ⋮ ZF between classicality and non-classicality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
• Jaśkowski's criterion and three-valued paraconsistent logics
• Formal inconsistency and evolutionary databases
• Brief study of G'₃ logic
• ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
• Logics of Formal Inconsistency
• An alternative approach for quasi-truth
• GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

This page was built for publication: A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory