- Forcing with the Anti‐Foundation axiom.Olivier Esser - 2012 - Mathematical Logic Quarterly 58 (1-2):55-62.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.details
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details
|
|
(2 other versions)Sts: A Structural Theory Of Sets.A. Baltag - 1999 - Logic Journal of the IGPL 7 (4):481-515.details
|
|
Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.details
|
|
(1 other version)2004 Summer Meeting of the Association for Symbolic Logic.Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2):249-312.details
|
|
Semantics for Naive Set Theory in Many-Valued Logics.Thierry Libert - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 121--136.details
|
|
On a positive set theory with inequality.Giacomo Lenzi - 2011 - Mathematical Logic Quarterly 57 (5):474-480.details
|
|
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.details
|
|
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
About the coexistence of “classical sets” with “non-classical” ones: A survey.Roland Hinnion - 2003 - Logic and Logical Philosophy 11:79-90.details
|
|
ZF and the axiom of choice in some paraconsistent set theories.Thierry Libert - 2003 - Logic and Logical Philosophy 11:91-114.details
|
|
An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory.Olivier Esser - 1997 - Mathematical Logic Quarterly 43 (3):369-377.details
|
|
Choice principles in hyperuniverses.Marco Forti & Furio Honsell - 1996 - Annals of Pure and Applied Logic 77 (1):35-52.details
|
|
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.details
|
|
(1 other version)Stratified and positive comprehension seen as superclass rules over ordinary set theory.Roland Hinnion - 1990 - Mathematical Logic Quarterly 36 (6):519-534.details
|
|