Paraconsistent models of Zermelo-Fraenkel set theory
From MaRDI portal
Cites work
- A family of genuine and non-algebraisable C-systems
- Algebraic Semantics for Paraconsistent Nelson's Logic
- An algebraic approach to non-classical logics
- Constructing illoyal algebra-valued models of set theory
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
- Generalized algebra-valued models of set theory
- Heyting algebras with dual pseudocomplementation
- scientific article; zbMATH DE number 2184445 (Why is no real title available?)
- scientific article; zbMATH DE number 3708357 (Why is no real title available?)
- scientific article; zbMATH DE number 3588632 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Inconsistent models of arithmetic. I: Finite models
- Intuitionistic set theory
- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
- Logics of formal inconsistency
- On the theory of inconsistent formal systems
- Paraconsistent and paracomplete Zermelo-Fraenkel set theory
- Paradoxes and Inconsistent Mathematics
- Twist-valued models for three-valued paraconsistent set theory
This page was built for publication: Paraconsistent models of Zermelo-Fraenkel set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6834665)
