- Aftermath Of The Nothing.Laurent Dubois - 2017 - In J.-Y. Beziau, A. Costa-Leite & I. M. L. D’Ottaviano (eds.), CLE, v.81. pp. 93-124.details
|
|
Obligations, Sophisms and Insolubles.Stephen Read - 2013 - National Research University “Higher School of Economics” - (Series WP6 “Humanities”).details
|
|
Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherstdetails
|
|
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 Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.details
|
|
Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.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
|
|
A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.details
|
|
On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.details
|
|
Logic For Expressivists.Ruth Weintraub - 2011 - Australasian Journal of Philosophy 89 (4):601 - 616.details
|
|
Lessons from the History and Philosophy of Science regarding the Research Assessment Exercise.Donald Gillies - 2007 - Royal Institute of Philosophy Supplement 61:37-73.details
|
|
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency.Dan E. Willard - 2005 - Journal of Symbolic Logic 70 (4):1171-1209.details
|
|
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.details
|
|
The Logic of Necessity in Aristotle--an Outline of Approaches to the Modal Syllogistic, Together with a General Account of de dicto - and de re -Necessity.Ulrich Nortmann - 2002 - History and Philosophy of Logic 23 (4):253-265.details
|
|
Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.details
|
|
A neglected resolution of Russell’s paradox of propositions.Gabriel Uzquiano - 2015 - Review of Symbolic Logic 8 (2):328-344.details
|
|
Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinasdetails
|
|
Uma Lógica da Indistinguibilidade.J. R. Arenhart & D. Krause - 2012 - Disputatio 4 (34):555-573.details
|
|
The Paraconsistent Logic of Quantum Superpositions.Newton C. A. da Costa & Christian de Ronde - 2013 - Foundations of Physics 43 (7):845-858.details
|
|
(1 other version)Dominof-Sets.David W. Straight - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):235-249.details
|
|
Intelligent Alarm Correlation and Abductive Reasoning.Stefania Bandini, Alessandro Mosca & Matteo Palmonari - 2006 - Logic Journal of the IGPL 14 (2):347-362.details
|
|
Machine learning of higher-order programs.Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj - 1994 - Journal of Symbolic Logic 59 (2):486-500.details
|
|
Is Priscilla, the trapped positron, an individual? Quantum physics, the use of names, and individuation.Décio Krause - 2011 - Arbor 187 (747):61-66.details
|
|
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.details
|
|
Quantum logic and the classical propositional calculus.Othman Qasim Malhas - 1987 - Journal of Symbolic Logic 52 (3):834-841.details
|
|
A bound on synchronically interpretable structure.Jon M. Slack - 2004 - Mind and Language 19 (3):305–333.details
|
|
Small infinitary epistemic logics.Tai-wei Hu, Mamoru Kaneko & Nobu-Yuki Suzuki - 2019 - Review of Symbolic Logic 12 (4):702-735.details
|
|
O comprometimento da identidade com a individuação nas teorias formais clássicas.Jaison Schinaider - 2015 - Filosofia Unisinos 16 (1).details
|
|
(1 other version)Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders.John Case - 1976 - Mathematical Logic Quarterly 22 (1):1-18.details
|
|
(1 other version)A completeness theorem for unrestricted first- order languages.Agustin Rayo & Timothy Williamson - 2003 - In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Oxford, England: Oxford University Press UK.details
|
|
Filter Constructions in Boolean Valued Model Theory.Alan M. Shorb - 1972 - Mathematical Logic Quarterly 18 (13-15):193-200.details
|
|
A reduction theorem for normal algorithms.J. W. Swanson - 1966 - Journal of Symbolic Logic 31 (1):86-97.details
|
|
Tracing the identity of objects.Lance J. Rips, Sergey Blok & George Newman - 2006 - Psychological Review 113 (1):1-30.details
|
|
(1 other version)Iterative Systems and Diagram Algorithms.Branislav Martić - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):561-564.details
|
|
(1 other version)Iterative Systems and Diagram Algorithms.Branislav Martić - 1981 - Mathematical Logic Quarterly 27 (36):561-564.details
|
|
Translations of Logical Formulas and the Equiconsistency Problem.Andrei A. Kuzichev - 1994 - Mathematical Logic Quarterly 40 (1):44-50.details
|
|
A strong multi-typed intuitionistic theory of functionals.Farida Kachapova - 2015 - Journal of Symbolic Logic 80 (3):1035-1065.details
|
|
Everyone Knows That Someone Knows: Quantifiers Over Epistemic Agents.Pavel Naumov & Jia Tao - 2019 - Review of Symbolic Logic 12 (2):255-270.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
|
|
(1 other version)A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):495-514.details
|
|
(1 other version)Odkud se berou axiomy logiky?Jaroslav Peregrin - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):117-139.details
|
|