- Artificial Intelligence as a Possible Tool for Discovering Laws of Logic.David Isles - 1978 - Cognitive Science 2 (4):329-360.details
|
|
C.S.Peirce and the Early Phases of Model-theoretic Logic.Masato Ishida - 2008 - Kagaku Tetsugaku 41 (1):29-44.details
|
|
Zero-place operations and functional completeness, and the definition of new connectives.I. L. Humberstone - 1993 - History and Philosophy of Logic 14 (1):39-66.details
|
|
Missing the point in noncommutative geometry.Nick Huggett, Tushar Menon & Fedele Lizzi - unknown - Synthese 199 (1-2):4695-4728.details
|
|
The Enhanced Indispensability Argument, the circularity problem, and the interpretability strategy.Jan Heylen & Lars Arthur Tump - 2019 - Synthese 198 (4):3033-3045.details
|
|
What's So Logical about the “Logical” Axioms?J. H. Harris - 1982 - Studia Logica 41 (2-3):159 - 171.details
|
|
Towards completeness: Husserl on theories of manifolds 1890–1901.Mirja Helena Hartimo - 2007 - Synthese 156 (2):281-310.details
|
|
Small Grzegorczyk classes and limited minimum.Keith Harrow - 1975 - Mathematical Logic Quarterly 21 (1):417-426.details
|
|
Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.details
|
|
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.details
|
|
Equivalence of some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Mathematical Logic Quarterly 25 (25‐29):411-418.details
|
|
Equivalence of some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):411-418.details
|
|
The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.details
|
|
Modular first-order ontologies via repositories.Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong & Atalay Ozgovde - 2012 - Applied ontology 7 (2):169-209.details
|
|
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.details
|
|
First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.Umberto Grandi & Ulle Endriss - 2013 - Journal of Philosophical Logic 42 (4):595-618.details
|
|
A Rational Analysis of Rule-Based Concept Learning.Noah D. Goodman, Joshua B. Tenenbaum, Jacob Feldman & Thomas L. Griffiths - 2008 - Cognitive Science 32 (1):108-154.details
|
|
Implicit complements: a dilemma for model theoretic semantics. [REVIEW]Brendan S. Gillon - 2012 - Linguistics and Philosophy 35 (4):313-359.details
|
|
Algebraic logic for classical conjunction and disjunction.Josep M. Font & Ventura Verdú - 1991 - Studia Logica 50 (3-4):391 - 419.details
|
|
Plurals and Mereology.Salvatore Florio & David Nicolas - 2020 - Journal of Philosophical Logic 50 (3):415-445.details
|
|
On the Innocence and Determinacy of Plural Quantification.Salvatore Florio & Øystein Linnebo - 2016 - Noûs 50 (3):565–583.details
|
|
A challenge to the new metaphysics: deRosset, Priority, and explanation.David Fisher, Hao Hong & Timothy Perrine - 2021 - Synthese 198 (7):6403-6433.details
|
|
Some Notes on Boolos’ Semantics: Genesis, Ontological Quests and Model-Theoretic Equivalence to Standard Semantics.Francesco Maria Ferrari - 2018 - Axiomathes 28 (2):125-154.details
|
|
Relatedness and implication.Richard L. Epstein - 1979 - Philosophical Studies 36 (2):137 - 173.details
|
|
Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.Gary Ebbs - 2015 - History and Philosophy of Logic 36 (4):346-366.details
|
|
Knowledge of Validity.Sinan Dogramaci - 2010 - Noûs 44 (3):403-432.details
|
|
On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.details
|
|
Three Views of Theoretical Knowledge.William Demopoulos - 2011 - British Journal for the Philosophy of Science 62 (1):177-205.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.details
|
|
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited.Yong Cheng - 2020 - Studia Semiotyczne 34 (1):159-182.details
|
|
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.details
|
|
Reflective inquiry and “The Fate of Reason”.William Boos - 2014 - Synthese 191 (18):4253-4314.details
|
|
Limits of inquiry.William Boos - 1983 - Erkenntnis 20 (2):157 - 194.details
|
|
Basic model theory, Kees Doets.Patrick Blackburn - 1999 - Journal of Logic, Language and Information 8 (2):258-261.details
|
|
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.details
|
|
Relativism, translation, and the metaphysics of realism.Aristidis Arageorgis - 2017 - Philosophical Studies 174 (3):659-680.details
|
|
On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.details
|
|
Modular Semantics for Theories: An Approach to Paraconsistent Reasoning.Holger Andreas - 2018 - Journal of Philosophical Logic 47 (5):877-912.details
|
|
A logic road from special relativity to general relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Ghosh Sujata & Prasad Sanjiva (eds.), Logic and Its Applications. ICLA 2017. Springer. pp. 27-47.details
|
|
Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.details
|
|
The Rationality of Science.W. Newton-Smith - 1981 - Boston: Routledge.details
|
|
Pragmatic Nonsense.Ricardo Peraça Cavassane, Itala M. Loffredo D'Ottaviano & Felipe Sobreira Abrahão - manuscriptdetails
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Failure of Leibniz's Infinite Analysis view of Contingency.Joel Velasco - manuscriptdetails
|
|
Computational semantics.Patrick Blackburn & Johan Bos - 2003 - Theoria 18 (1):27-45.details
|
|
The Cogito Paradox.Arnold Cusmariu - forthcoming - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences.details
|
|