ZF between classicality and non-classicality

DOI10.1007/S11225-021-09959-WMaRDI QIDQ2115287zbMATH OpenOpenAlexFDO

Authors Sourav Tarafder, Giorgio Venturi

Publication date 15 March 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-021-09959-w

zbMATH Keywords

non-classical logicsset theoryZFalgebra-valued models

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Recommendations

• Generalized algebra-valued models of set theory
• Non-classical models of \(\mathsf{ZF}\)
• scientific article; zbMATH DE number 813127
• Orthomodular-valued models for quantum set theory
• Heyting-valued interpretations for constructive set theory

Cites work

• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 3568694 (Why is no real title available?)
• A paraconsistent logic obtained from an algebra-valued model of set theory
• Constructing illoyal algebra-valued models of set theory
• Generalized algebra-valued models of set theory
• Non-classical models of \(\mathsf{ZF}\)
• On negation for non-classical set theories

Cited in

(3)

• Ideal objects for set theory
• Constructing illoyal algebra-valued models of set theory
• \(\mathsf{ZF}\) and its interpretations

This page was built for publication: ZF between classicality and non-classicality

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