Pages that link to "Item:Q5241523"
From MaRDI portal
The following pages link to A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory (Q5241523):
Displayed 5 items.
- Constructing illoyal algebra-valued models of set theory (Q2046361) (← links)
- ZF between classicality and non-classicality (Q2115287) (← links)
- NON-CLASSICAL FOUNDATIONS OF SET THEORY (Q5070473) (← links)
- \(\mathsf{ZF}\) and its interpretations (Q6131202) (← links)
- INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES (Q6148462) (← links)