On negation for non-classical set theories

DOI10.1007/s10992-020-09576-3OpenAlexW3093975487MaRDI QIDQ2037302

S. Jockwich Martinez, Giorgio Venturi

Publication date: 30 June 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-020-09576-3

zbMATH Keywords

paraconsistencynegationZFalgebra-valued structuresAmerican planAustralian plannon-classical set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Ideal objects for 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

• There is more to negation than modality
• Logic on the Australian plan
• Paraconsistent logics?
• Constructing illoyal algebra-valued models of set theory
• Negation on the Australian plan
• Constructive negation, implication, and co-implication
• Logical Pluralism
• Assertion, Denial and Non-classical Theories
• GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item