ZF between classicality and non-classicality

DOI10.1007/s11225-021-09959-wOpenAlexW3189357447MaRDI QIDQ2115287

Giorgio Venturi, Sourav Tarafder

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

set theorynon-classical logicsZFalgebra-valued models

Mathematics Subject Classification ID

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

Related Items (2)

Ideal objects for set theory ⋮ \(\mathsf{ZF}\) and its interpretations

Cites Work

• Unnamed Item
• Unnamed Item
• On negation for non-classical set theories
• Constructing illoyal algebra-valued models of set theory
• Non-classical models of \(\mathsf{ZF}\)
• A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
• GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY

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