- Wand/Set Theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set.Tim Button - forthcoming - Journal of Symbolic Logic:1-46.details
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
Hyperset models of self, will and reflective consciousness.Ben Goertzel - 2011 - International Journal of Machine Consciousness 3 (01):19-53.details
|
|
Typ-Ken (an Amalgam of Type and Token) Drives Infosphere.Yukio-Pegio Gunji, Takayuki Niizato, Hisashi Murakami & Iori Tani - 2010 - Knowledge, Technology & Policy 23 (1):227-251.details
|
|
Against the countable transitive model approach to forcing.Matteo de Ceglie - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications.details
|
|
Paradox, ZF, and the axiom of foundation.A. Rieger - 2011 - In David DeVidi, Michael Hallett & Peter Clark (eds.), Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell. Dordrecht, Netherland: Springer. pp. 171-187.details
|
|
Future Event Logic- Axioms and Complexity.Hans van Ditmarsch, Tim French & Sophie Pinchinate - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 77-99.details
|
|
Completeness of the finitary Moss logic.Clemens Kupke, Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 193-217.details
|
|
Coalgerbraic Lindströom Theorems.Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 292-309.details
|
|
Expressiveness of Positive Colgebraic Logic.Krzysztof Kapulkin, Alexander Kurz & Jiří Velevil - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 368-385.details
|
|
Chains of Being: Infinite Regress, Circularity, and Metaphysical Explanation.Ross P. Cameron - 2022 - Oxford: Oxford University Press.details
|
|
Formal Ontology and Conceptual Realism.Nino Barnabas Cocchiarella - 2007 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
On the crispness of and arithmetic with a bisimulation in a constructive naive set theory.S. Yatabe - 2014 - Logic Journal of the IGPL 22 (3):482-493.details
|
|
Pre-Reflective Self-Consciousness & Projective Geometry.Kenneth Williford, Daniel Bennequin & David Rudrauf - 2022 - Review of Philosophy and Psychology 13 (2):365-396.details
|
|
Set-Theoretic Dependence.John Wigglesworth - 2015 - Australasian Journal of Logic 12 (3):159-176.details
|
|
Bi-Modal Naive Set Theory.John Wigglesworth - 2018 - Australasian Journal of Logic 15 (2):139-150.details
|
|
Self-referential propositions.Bruno Whittle - 2017 - Synthese 194 (12):5023-5037.details
|
|
Hierarchical Propositions.Bruno Whittle - 2017 - Journal of Philosophical Logic 46 (2):215-231.details
|
|
What it Means to Live in a Virtual World Generated by Our Brain.Jan Westerhoff - 2016 - Erkenntnis 81 (3):507-528.details
|
|
Have your cake and eat it too: The old principal principle reconciled with the new.Peter B. M. Vranas - 2004 - Philosophy and Phenomenological Research 69 (2):368–382.details
|
|
A Tractarian Universe.Albert Visser - 2012 - Journal of Philosophical Logic 41 (3):519-545.details
|
|
Non-deterministic inductive definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.details
|
|
How effective indeed is present-day mathematics?Athanassios Tzouvaras - 2006 - Logic and Logical Philosophy 15 (2):131-153.details
|
|
Mathematics, science and ontology.Thomas Tymoczko - 1991 - Synthese 88 (2):201 - 228.details
|
|
The Divine Fractal: 1st Order Extensional Theology.Paul Studtmann - 2021 - Philosophia 50 (1):285-305.details
|
|
A sharper image: the quest of science and recursive production of objective realities.Julio Michael Stern - 2020 - Principia: An International Journal of Epistemology 24 (2):255-297.details
|
|
What are numbers?Zvonimir Šikić - 1996 - International Studies in the Philosophy of Science 10 (2):159-171.details
|
|
Qal wa- omer and Theory of Massive-Parallel Proofs.Andrew Schumann - 2011 - History and Philosophy of Logic 32 (1):71-83.details
|
|
Logical Cornestones of Judaic Argumentation Theory.Andrew Schumann - 2013 - Argumentation 27 (3):305-326.details
|
|
Conceptual Metaphors and Mathematical Practice: On Cognitive Studies of Historical Developments in Mathematics.Dirk Schlimm - 2013 - Topics in Cognitive Science 5 (2):283-298.details
|
|
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T 0.Kentaro Sato - 2015 - Annals of Pure and Applied Logic 166 (7-8):800-835.details
|
|
Buildings and grounds: notes on Karen Bennett’s Making Things Up.Gideon Rosen - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (7):711-721.details
|
|
Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.details
|
|
Conceptual and Derivation Systems.Jiří Raclavský & Petr Kuchyňka - 2011 - Logic and Logical Philosophy 20 (1-2):159-174.details
|
|
60% Proof Lakatos, Proof, and Paraconsistency.Graham Priest & Neil Thomason - 2007 - Australasian Journal of Logic 5:89-100.details
|
|
Another disguise of the same fundamental problems: Barwise and Etchemendy on the liar.Graham Priest - 1993 - Australasian Journal of Philosophy 71 (1):60 – 69.details
|
|
Informal provability and dialetheism.Pawel Pawlowski & Rafal Urbaniak - 2023 - Theoria 89 (2):204-215.details
|
|
Communication and strategic inference.Prashant Parikh - 1991 - Linguistics and Philosophy 14 (5):473 - 514.details
|
|
Decidability of ∀*∀‐Sentences in Membership Theories.Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti - 1996 - Mathematical Logic Quarterly 42 (1):41-58.details
|
|
Vier Philosophen über semantische Paradoxien.Ulrich Nortmann - 1995 - History and Philosophy of Logic 16 (2):217-244.details
|
|
The domain of set-valued feature structures.M. Andrew Moshier & Carl J. Pollard - 1994 - Linguistics and Philosophy 17 (6):607-631.details
|
|
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.details
|
|
Knowledge representation, the World Wide Web, and the evolution of logic.Christopher Menzel - 2011 - Synthese 182 (2):269-295.details
|
|
Starting from the scenario Euclid–Bolyai–Einstein.Solomon Marcus - 2015 - Synthese 192 (7):1-11.details
|
|
Agamben, Badiou, and Russell.Paul M. Livingston - 2009 - Continental Philosophy Review 42 (3):297-325.details
|
|
Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics. [REVIEW]L. Lismont - 1994 - Journal of Logic, Language and Information 3 (4):285-302.details
|
|
On the Foundations of Greek Arithmetic.Holger A. Leuz - 2009 - History of Philosophy & Logical Analysis 12 (1):13-47.details
|
|