On negation for non-classical set theories

DOI10.1007/S10992-020-09576-3MaRDI QIDQ2037302zbMATH OpenOpenAlexFDO

Authors 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

algebra-valued structuresAmerican planAustralian plannegationnon-classical set theoryparaconsistencyZF

Mathematics Subject Classification ID

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

Recommendations

• Another plan for negation
• Negation on the Australian plan
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• A general semantics for logics of affirmation and negation

Cites work

• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• An introduction to non-classical logic. From if to is
• Assertion, Denial and Non-classical Theories
• Constructing illoyal algebra-valued models of set theory
• Constructive negation, implication, and co-implication
• Generalized algebra-valued models of set theory
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1984009 (Why is no real title available?)
• Logic on the Australian plan
• Logical pluralism
• Negation on the Australian plan
• Paraconsistent logics?
• There is more to negation than modality

Cited in

(6)

• Constructing illoyal algebra-valued models of set theory
• ZF between classicality and non-classicality
• Ideal objects for set theory
• scientific article; zbMATH DE number 1116043 (Why is no real title available?)
• \(\mathsf{ZF}\) and its interpretations
• INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES

This page was built for publication: On negation for non-classical set theories

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