- Gestalt theory, formal models and mathematical modeling.Abraham S. Luchins & Edith H. Luchins - 1993 - Behavioral and Brain Sciences 16 (2):355-356.details
|
|
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.details
|
|
A bimodal simulation of defeasibility in the normative domain.Tomer Libal, Matteo Pascucci, Leendert van der Torre & Dov Gabbay - 2020 - In Tomer Libal, Matteo Pascucci, Leendert van der Torre & Dov Gabbay (eds.), Proceedings of FCR-2020. CEUR Workshop Proceedings. pp. 41-54.details
|
|
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.details
|
|
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.details
|
|
Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study.Dorota Leszczyńska-Jasion, Mateusz Ignaszak & Szymon Chlebowski - 2019 - Studia Logica 107 (2):313-349.details
|
|
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.details
|
|
A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.details
|
|
The content of mental models.Paolo Legrenzi & Maria Sonino - 1993 - Behavioral and Brain Sciences 16 (2):354-355.details
|
|
Foundations of a theorem prover for functional and mathematical uses.Javier Leach & Susana Nieva - 1993 - Journal of Applied Non-Classical Logics 3 (1):7-38.details
|
|
Hintikka’s conception of syntheticity as the introduction of new individuals.Costanza Larese - 2023 - Synthese 201 (6):1-33.details
|
|
Wittgenstein's Programme of a New Logic.Timm Lampert - 2007 - In Lampert Timm (ed.), Contributions of the Austrian Wittgenstein Society 07. pp. 125-128.details
|
|
The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.details
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.details
|
|
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.details
|
|
A Constructive Proof of a Theorem in Relevance Logic.Aleksandar Kron - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):423-430.details
|
|
A Constructive Proof of a Theorem in Relevance Logic.Aleksandar Kron - 1985 - Mathematical Logic Quarterly 31 (25‐28):423-430.details
|
|
Non-distributive Relatives of ETL and NFL.Daniil Kozhemiachenko - 2020 - Studia Logica 109 (1):137-165.details
|
|
Higher-Order Multi-Valued Resolution.Michael Kohlhase - 1999 - Journal of Applied Non-Classical Logics 9 (4):455-477.details
|
|
Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Synthetic completeness proofs for Seligman-style tableau systems.Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander & Torben Braüner - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 302-321.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
|
|
Précis of Deduction.Philip N. Johnson-Laird & Ruth M. J. Byrne - 1993 - Behavioral and Brain Sciences 16 (2):323-333.details
|
|
Mental models or formal rules?Philip N. Johnson-Laird & Ruth M. J. Byrne - 1993 - Behavioral and Brain Sciences 16 (2):368-380.details
|
|
The Boolean Many-Valued Solution to the Sorites Paradox.Ken Akiba - 2022 - Synthese 200 (2):1-25.details
|
|
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.details
|
|
Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition.Dale Jacquette - 2016 - Logica Universalis 10 (2-3):191-213.details
|
|
Logic of Courage and Wisdom in Plato’s Protagoras 349e–351b.Dale Jacquette - 2009 - History of Philosophy & Logical Analysis 12 (1):48-69.details
|
|
Enhancing the Diagramming Method in Informal Logic.Dale Jacquette - 2011 - Argument: Biannual Philosophical Journal 1 (2):327-360.details
|
|
Bochenski on Property Identity and the Refutation of Universals.Dale Jacquette - 2006 - Journal of Philosophical Logic 35 (3):293-316.details
|
|
Aspectos metafísicos na física de Newton: Deus.Bruno Camilo de Oliveira - 2011 - In Luiz Henrique de Araújo Dutra & Alexandre Meyer Luz (eds.), Coleção rumos da epistemologia. pp. 186-201.details
|
|
Quest schemes in analytical models of discourse.Anatoliy Ishmuratov - 1994 - Synthese 100 (1):29-38.details
|
|
Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscriptdetails
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Approximate Semantic Transference: A Computational Theory of Metaphors and Analogies.Bipin Indurkhya - 1987 - Cognitive Science 11 (4):445-480.details
|
|
Architecture and algorithms: Power sharing for mental models.Robert Inder - 1993 - Behavioral and Brain Sciences 16 (2):354-354.details
|
|
A labelled natural deduction system for linear temporal logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.details
|
|
A Defeasible Calculus for Zetetic Agents.Jared A. Millson - 2021 - Logic and Logical Philosophy 30 (1):3-37.details
|
|
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.details
|
|
The Consistency Argument for Ranking Functions.Franz Huber - 2007 - Studia Logica 86 (2):299-329.details
|
|
Logic with numbers.Colin Howson - 2007 - Synthese 156 (3):491-512.details
|
|
Finite additivity, another lottery paradox and conditionalisation.Colin Howson - 2014 - Synthese 191 (5):1-24.details
|
|
Epistemic Probability and Coherent Degrees of Belief.Colin Howson - 2009 - In Franz Huber & Christoph Schmidt-Petri (eds.), Degrees of belief. London: Springer. pp. 97--119.details
|
|
A Continuum-Valued Logic of Degrees of Probability.Colin Howson - 2014 - Erkenntnis 79 (5):1001-1013.details
|
|
(I can’t get no) antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2020 - Synthese 198 (9):8251-8265.details
|
|
Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.details
|
|
The logical content of theories of deduction.Wilfrid Hodges - 1993 - Behavioral and Brain Sciences 16 (2):353-354.details
|
|
(1 other version)Epistemologia Analítica, Vol .1: debates contemporâneos.Tiegue Vieira Rodrigues (ed.) - 2019 - Editora Fi.details
|
|
Method of Analysis: A Paradigm of Mathematical Reasoning?Jaakko Hintikka - 2012 - History and Philosophy of Logic 33 (1):49 - 67.details
|
|