- Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch - 2023 - Logica Universalis 17 (1):23-67.details
|
|
O pełnosci węzszego rachunku funkcyjnego.Juliusz Reichbach - 1955 - Studia Logica 2 (1):213-228.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08.Alex J. Wilkie - 2009 - Bulletin of Symbolic Logic 15 (1):95-139.details
|
|
Eligibility and inscrutability.J. Robert G. Williams - 2007 - Philosophical Review 116 (3):361-399.details
|
|
Skolem Redux.W. D. Hart - 2000 - Notre Dame Journal of Formal Logic 41 (4):399--414.details
|
|
A Strong Completeness Theorem for Pragmatics.Daniel Vanderveken - 1981 - Mathematical Logic Quarterly 27 (8‐10):151-160.details
|
|
A Strong Completeness Theorem for Pragmatics.Daniel Vanderveken - 1981 - Mathematical Logic Quarterly 27 (8-10):151-160.details
|
|
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value.Antti Valmari & Lauri Hella - 2023 - Notre Dame Journal of Formal Logic 64 (1):61-93.details
|
|
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Mathematical Logic Quarterly 3 (13‐20):211-224.details
|
|
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):211-224.details
|
|
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5‐7):93-106.details
|
|
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5-7):93-106.details
|
|
Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.details
|
|
An Alternative Approach to Existence Monism: An Interpretation of Truisms Using Linguistic Ontology and the One as Semantic Glue.Masahiro Takatori - 2020 - Annals of the Japan Association for Philosophy of Science 29:75-91.details
|
|
On minimal models of first-order systems.Lars Svenonius - 1960 - Theoria 26 (1):44-52.details
|
|
No-categoricity in first-order predicate calculus.Lars Svenonius - 1959 - Theoria 25 (2):82-94.details
|
|
Completeness theorems for topological models.Joseph Sgro - 1977 - Annals of Mathematical Logic 11 (2):173.details
|
|
Theorie des logischen Schliessens.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (1):37-86.details
|
|
Theorie des logischen Schliessens I.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):37-86.details
|
|
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.details
|
|
Neutral Free Logic: Motivation, Proof Theory and Models.Edi Pavlović & Norbert Gratzl - 2023 - Journal of Philosophical Logic 52 (2):519-554.details
|
|
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.details
|
|
An Axiomatic Approach to the Quantified Argument Calculus.Matteo Pascucci - 2023 - Erkenntnis 88 (8):3605-3630.details
|
|
Investigations into quantified modal logic.Zane Parks - 1976 - Studia Logica 35:109.details
|
|
The algebraic treatment of the methodology of elementary deductive systems.Jerzy Łoś - 1955 - Studia Logica 2 (1):151 - 212.details
|
|
A Modest Logic of Plurals.Alex Oliver & Timothy Smiley - 2006 - Journal of Philosophical Logic 35 (3):317-348.details
|
|
A Probabilistic Temporal Epistemic Logic: Strong Completeness.Zoran Ognjanović, Angelina Ilić Stepić & Aleksandar Perović - forthcoming - Logic Journal of the IGPL.details
|
|
A decidable multi-modal logic of context.Rolf Nossum - 2003 - Journal of Applied Logic 1 (1-2):119-133.details
|
|
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.details
|
|
On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’.Peter Milne - forthcoming - History and Philosophy of Logic:1-14.details
|
|
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.details
|
|
Intuitionism and logical syntax.Charles McCarty - 2008 - Philosophia Mathematica 16 (1):56-77.details
|
|
The philosophy of logical practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.details
|
|
Identity, Equality, Nameability and Completeness.María Manzano & Manuel Crescencio Moreno - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|
Identity, equality, nameability and completeness. Part II.María Manzano & Manuel Crescencio Moreno - 2018 - Bulletin of the Section of Logic 47 (3):141.details
|
|
Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.details
|
|
Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.details
|
|
Levels: Descriptive, Explanatory, and Ontological.Christian List - 2019 - Noûs 53 (4):852-883.details
|
|
Probabilistic semantics: An overview.Hugues Leblanc - 1980 - Philosophia 9 (2):231-249.details
|
|
Matters of relevance.Hugues Leblanc - 1972 - Journal of Philosophical Logic 1 (3/4):269 - 286.details
|
|
Programs, grammars and arguments: A personal view of some connections between computation, language and logic.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3):312-328.details
|
|
Efficient elimination of Skolem functions in $$\text {LK}^\text {h}$$ LK h.Ján Komara - 2022 - Archive for Mathematical Logic 61 (3):503-534.details
|
|
Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.details
|
|
Logic with the quantifier "there exist uncountably many".H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1.details
|
|
Barwise: Infinitary logic and admissible sets.H. Jerome Keisler & Julia F. Knight - 2004 - Bulletin of Symbolic Logic 10 (1):4-36.details
|
|