- Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2019 - Australasian Journal of Philosophy 98 (1):153-177.details
|
|
The simple argument for subclassical logic.Jc Beall - 2018 - Philosophical Issues 28 (1):30-54.details
|
|
Structured Propositions in a Generative Grammar.Bryan Pickel - 2019 - Mind 128 (510):329-366.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
The Substitutional Analysis of Logical Consequence.Volker Halbach - 2019 - Noûs 54 (2):431-450.details
|
|
Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.details
|
|
Who were the American Postulate Theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|
Truth and Meaning.Ian Rumfitt - 2014 - Aristotelian Society Supplementary Volume 88 (1):21-55.details
|
|
Schemata: The concept of schema in the history of logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.details
|
|
Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
(1 other version)The work of Kurt gödel.Stephen C. Kleene - 1976 - Journal of Symbolic Logic 41 (4):761-778.details
|
|
Undefinability of truth. the problem of priority:tarski vs gödel.Roman Murawski - 1998 - History and Philosophy of Logic 19 (3):153-160.details
|
|
Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.details
|
|
Zermelo and set theory.Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
The härtig quantifier: A survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.details
|
|
Uniqueness, definability and interpolation.Kosta Došen & Peter Schroeder-Heister - 1988 - Journal of Symbolic Logic 53 (2):554-570.details
|
|
Embracing the technicalities: Expressive completeness and revenge.Nicholas Tourville & Roy T. Cook - 2016 - Review of Symbolic Logic 9 (2):325-358.details
|
|
Carnap’s Defense of Impredicative Definitions.Vera Flocke - 2019 - Review of Symbolic Logic 12 (2):372-404.details
|
|
Deductive completeness.Kosta Došen - 1996 - Bulletin of Symbolic Logic 2 (3):243-283.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski.Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Nonmonotonic reasoning: From finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.details
|
|
Kazimierz Ajdukiewicz on transcendental idealism from a semantic point of view.Arkadiusz Chrudzimski - 2016 - Studies in East European Thought 68 (1):63-74.details
|
|
The Naïve Conception of Properties.Benjamin Schnieder - 2017 - Philosophical Issues 27 (1):322-342.details
|
|
Truthmakers, Truthbearers and the Objectivity of Truth.Artur Rojszczak & Barry Smith - 2003 - In J. Hintikka, T. Czarnecki, K. Kijania-Placek, A. Rojszczak & T. Placek, Philosophy and Logic: In Search of the Polish Tradition. Essays in Honor of Jan Wole’Nski on the Occasion of His 60th Birthday. Kluwer Academic Publishers. pp. 229-268.details
|
|
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space.Robert Goldblatt & Ian Hodkinson - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté, Advances in Modal Logic, Volume 11. CSLI Publications. pp. 342-361.details
|
|
Dialectical Contradictions and Classical Formal Logic.Inoue Kazumi - 2014 - International Studies in the Philosophy of Science 28 (2):113-132.details
|
|
Existential-Import Mathematics.John Corcoran & Hassan Masoud - 2015 - Bulletin of Symbolic Logic 21 (1):1-14.details
|
|
II—Hyperintensional Truth Conditions.Gary Kemp - 2014 - Aristotelian Society Supplementary Volume 88 (1):57-68.details
|
|
Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism.Bogdan Dicher - forthcoming - Analysis.details
|
|
Quick and Easy Recipes for Hypergunk.Patrick Reeder - 2019 - Australasian Journal of Philosophy 98 (1):178-191.details
|
|
An Objection to Naturalism and Atheism from Logic.Christopher Gregory Weaver - 2019 - In Graham Oppy, A Companion to Atheism and Philosophy. Hoboken: Blackwell. pp. 451-475.details
|
|
Symbolic logic.Greg Restall - unknowndetails
|
|
On Why Mathematics Can Not be Ontology.Shiva Rahman - 2019 - Axiomathes 29 (3):289-296.details
|
|
Philosophy in Poland: Varieties of Anti-Irrationalism. A Commitment to Reason without the Worship of Reason.Konrad Werner - 2020 - Philosophia 48 (1):1-32.details
|
|
(1 other version)Idealism, Empiricism, Pluralism, Law: Legal truth after modernity.Luke Mason - forthcoming - In Angela Condello & Tiziana Andina, Post-Truth, Law and Philosophy. Routledge.details
|
|