- Model Theory.María Manzano - 1990 - Oxford, England: Oxford University Press.details
|
|
On Non-transitive “Identity”.Heinrich Wansing & Daniel Skurt - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 535-553.details
|
|
Generality and existence 1: Quantification and free logic.Greg Restall - 2019 - Review of Symbolic Logic 12 (1):1-29.details
|
|
Proof and Falsity: A Logical Investigation.Nils Kürbis - 2019 - Cambridge, UK: Cambridge University Press.details
|
|
Towards a Neo-Brentanian Theory of Existence.Mark Textor - 2017 - Philosophers' Imprint 17:1-20.details
|
|
(3 other versions)Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.details
|
|
(1 other version)An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem.Takashi Nagashima - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):12-18.details
|
|
How to Live Without Identity—And Why.Kai F. Wehmeier - 2012 - Australasian Journal of Philosophy 90 (4):761 - 777.details
|
|
Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.details
|
|
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
(5 other versions)Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
Basic logic: Reflection, symmetry, visibility.Giovanni Sambin, Giulia Battilotti & Claudia Faggian - 2000 - Journal of Symbolic Logic 65 (3):979-1013.details
|
|
(1 other version)Identity, variables, and impredicative definitions.K. Jaakko & J. Hintikka - 1956 - Journal of Symbolic Logic 21 (3):225-245.details
|
|
What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.details
|
|
Harmony in a sequent setting.N. Tennant - 2010 - Analysis 70 (3):462-468.details
|
|
(4 other versions)Tractatus logico-philosophicus.Ludwig Wittgenstein (ed.) - 1960 - Frankfurt am Main: [Suhrkamp].details
|
|
Non-transitive identity.Graham Priest - 2010 - In Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and clouds: vagueness, its nature, and its logic. New York: Oxford University Press. pp. 406--416.details
|
|
(1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
The logic of description and existence.Sören Stenlund - 1973 - Uppsala: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.details
|
|
Extensions of first order logic.María Manzano - 1996 - New York: Cambridge University Press.details
|
|
Proof Theory for Fuzzy Logics.George Metcalfe, Nicola Olivetti & Dov M. Gabbay - 2008 - Dordrecht, Netherland: Springer.details
|
|
(2 other versions)Philosophy of Logic.W. V. Quine - 2005 - In José Medina & David Wood (eds.), Truth. Malden, MA: Blackwell.details
|
|
On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.details
|
|
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics.Robert Goldblatt - 2011 - New York: Cambridge University Press.details
|
|
(1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.details
|
|
Rule-Generation Theorem and its Applications.Andrzej Indrzejczak - 2018 - Bulletin of the Section of Logic 47 (4):265-281.details
|
|
Fregean Description Theory in Proof-Theoretical Setting.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.details
|
|
Identity and harmony.Stephen Read - 2004 - Analysis 64 (2):113-119.details
|
|
Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.details
|
|
The Calculus of Natural Calculation.René Gazzari - 2021 - Studia Logica 109 (6):1375-1411.details
|
|
Simple cut elimination proof for hybrid logic.Andrezj Indrzejczak - 2016 - Logic and Logical Philosophy 25 (2):129-141.details
|
|
Interpreting Descriptions in Intensional Type Theory.Jesper Carlström - 2005 - Journal of Symbolic Logic 70 (2):488 - 514.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
(1 other version)An Extension of the Craig-Schütte Interpolation Theorem.Takashi Nagashima - 1968 - Journal of Symbolic Logic 33 (2):291-292.details
|
|
Identity, Equality, Nameability and Completeness.María Manzano & Manuel Crescencio Moreno - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|
Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.details
|
|
(3 other versions)Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.details
|
|
(1 other version)Identity Variables, and Impredicative Definitions.Jaakko Hintikka - 1956 - Journal Fo Symbolic Logic 21 (3):225-245.details
|
|
Displaying Modal Logic.Heinrich Wansing - 1998 - Dordrecht, Netherland: Springer.details
|
|
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen’s Sequent Calculus with Equality.F. Parlamento & F. Previale - forthcoming - Review of Symbolic Logic:1-32.details
|
|
Book Reviews. [REVIEW]Melvin Fitting & Richard Mendelsohn - 1998 - Studia Logica 68 (2):287-300.details
|
|
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics.Yoshihiro Maruyama - 2015 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.details
|
|
Displaying Modal Logic.Heinrich Wansing - 2000 - Studia Logica 66 (3):421-426.details
|
|