- A theorem concerning syntactical treatments of nonidealized belief.Charles B. Cross - 2001 - Synthese 129 (3):335 - 341.details
|
|
Adverbs and events.M. J. Cresswell - 1974 - Synthese 28 (3-4):455 - 481.details
|
|
Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning.Ariel Cohen, Michael Kaminski & Johann A. Makowsky - 2008 - Journal of Logic, Language and Information 17 (3):285-306.details
|
|
Hereditarily Structurally Complete Superintuitionistic Deductive Systems.Alex Citkin - 2018 - Studia Logica 106 (4):827-856.details
|
|
Objetos matemáticos sensibles y objetos Matemáticos inteligibles.Víctor Hugo Chica Pérez, Luis F. Echeverri & Edwin Zarrazola - 2016 - Estudios de Filosofía (Universidad de Antioquia) 54:187-205.details
|
|
Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders.John Case - 1976 - Mathematical Logic Quarterly 22 (1):1-18.details
|
|
Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders.John Case - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):1-18.details
|
|
Ontology and grammar: I. Russell's paradox and the general theory of properties in natural language.Hector-Neri Castañeda - 1976 - Theoria 42 (1-3):44-92.details
|
|
Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.details
|
|
Effectivizing Inseparability.John Case - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (7):97-111.details
|
|
Arithmetic based on the church numerals in illative combinatory logic.M. W. Bunder - 1988 - Studia Logica 47 (2):129 - 143.details
|
|
A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.details
|
|
Wave-Particle Duality and the Objectiveness of “True” and “False”.Arkady Bolotin - 2021 - Foundations of Physics 51 (4):1-27.details
|
|
Problems in Epistemic Space.Jens Christian Bjerring - 2012 - Journal of Philosophical Logic 43 (1):153-170.details
|
|
The uniqueness of the fixed-point in every diagonalizable algebra.Claudio Bernardi - 1976 - Studia Logica 35 (4):335 - 343.details
|
|
The fixed-point theorem for diagonalizable algebras.Claudio Bernardi - 1975 - Studia Logica 34 (3):239 - 251.details
|
|
On the equational class of diagonalizable algebras.Glaudio Bernardi - 1975 - Studia Logica 34 (4):321 - 331.details
|
|
The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.details
|
|
Intelligent Alarm Correlation and Abductive Reasoning.Stefania Bandini, Alessandro Mosca & Matteo Palmonari - 2006 - Logic Journal of the IGPL 14 (2):347-362.details
|
|
Plausible reasoning: a first-order approach.Silvana Badaloni & Alberto Zanardo - 1996 - Journal of Applied Non-Classical Logics 6 (3):215-261.details
|
|
Axiomatic theory of betweenness.Sanaz Azimipour & Pavel Naumov - 2020 - Archive for Mathematical Logic 60 (1):227-239.details
|
|
The elementary foundations of spacetime.James Ax - 1978 - Foundations of Physics 8 (7-8):507-546.details
|
|
Sentences with finite models.C. J. Ash - 1975 - Mathematical Logic Quarterly 21 (1):401-404.details
|
|
Uma Lógica da Indistinguibilidade.J. R. Arenhart & D. Krause - 2012 - Disputatio 4 (34):555-573.details
|
|
La Lógica contemporánea en sus manuales. 1940-1980.Enrique Alonso & Víctor Aranda - 2020 - Endoxa 46:165.details
|
|
Mathematical reasoning vs. abductive reasoning: A structural approach.Atocha Aliseda - 2003 - Synthese 134 (1-2):25 - 44.details
|
|
Numerical evaluation of the validity of experimental proofs in biology.G. Albrecht-Buehler - 1976 - Synthese 33 (1):283 - 312.details
|
|
Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.details
|
|
On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscriptdetails
|
|
Introduction to Knowledge, Number and Reality. Encounters with the Work of Keith Hossack.Nils Kürbis, Jonathan Nassim & Bahram Assadian - 2022 - In Nils Kürbis, Bahram Assadian & Jonathan Nassim (eds.), Knowledge, Number and Reality: Encounters with the Work of Keith Hossack. London: Bloomsbury. pp. 1-30.details
|
|
Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherstdetails
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
Introduction to Axiomatic Set Theory.Jean-Louis Krivine - 1971 - Dordrecht, Netherland: Springer.details
|
|
Arguing on the Toulmin Model: New Essays in Argument Analysis and Evaluation.David Hitchcock & Bart Verheij (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Remarks on Logic and Critical Thinking.Mudasir Ahmad Tantray - 2021 - Bilaspur, Chhattisgarh 495001, India: Rudra Publications.details
|
|
The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).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
|
|
The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.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
|
|
The Interpretation of Early Modern Philosophy.Paul Taborsky - 2018 - Newcastle upon Tyne: Cambridge Scholars Publishing.details
|
|
Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.details
|
|
Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Cham, Switzerland: Springer.details
|
|
Truth and Proof without Models: A Development and Justification of the Truth-valuational Approach (2nd edition).Hanoch Ben-Yami - manuscriptdetails
|
|
Naturalness, intrinsicality, and duplication.Theodore R. Sider - 1993 - Dissertation, University of Massachusettsdetails
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
The limits of classical mereology: Mixed fusions and the failures of mereological hybridism.Joshua Kelleher - 2020 - Dissertation, The University of Queenslanddetails
|
|
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscriptdetails
|
|