Twist-valued models for three-valued paraconsistent set theory

DOI10.12775/LLP.2020.015MaRDI QIDQ5013621zbMATH OpenFDO

Authors Marcelo E. Coniglio, Walter 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

zbMATH Keywords

axiomatic set theoryBoolean-valued modelsLeibniz's lawlogics of formal inconsistencyparaconsistent set theorythree-valued paraconsistent logicstwist structures

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A paraconsistent logic obtained from an algebra-valued model of set theory
• Generalized algebra-valued models of set theory
• Algebra-valued models for LP-set theory
• ZF and the axiom of choice in some paraconsistent set theories
• Models for a paraconsistent set theory

Cites work

• A lattice-valued set theory
• An alternative approach for quasi-truth
• An epistemic approach to paraconsistency: a logic of evidence and truth
• First-order swap structures semantics for some logics of formal inconsistency
• Formal inconsistency and evolutionary databases
• Fuzzy logic and fuzzy set theory
• Generalized algebra-valued models of set theory
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 3604887 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 3993546 (Why is no real title available?)
• scientific article; zbMATH DE number 3237856 (Why is no real title available?)
• Logics of formal inconsistency
• Models for a paraconsistent set theory
• Non-deterministic algebraization of logics by swap structures
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Ordinals in an algebra-valued model of a paraconsistent set theory
• Orthomodular-valued models for quantum set theory
• Paraconsistent logic: consistency, contradiction and negation
• Paraconsistent set theory by predicating on consistency
• Quantum set theory
• Transfer principle in quantum set theory

Cited in

(9)

• Ordinals in an algebra-valued model of a paraconsistent set theory
• ZF and the axiom of choice in some paraconsistent set theories
• Algebra-valued models for LP-set theory
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• A paraconsistent logic obtained from an algebra-valued model of set theory
• Generalized algebra-valued models of set theory
• Twist-Valued Models for Three-valued Paraconsistent Set Theory
• Paraconsistent models of Zermelo-Fraenkel set theory
• Modality across different logics

This page was built for publication: Twist-valued models for three-valued paraconsistent set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013621)