- (1 other version)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
|
|
(1 other version)From Intuitionism to Many-Valued Logics Through Kripke Models.Saeed Salehi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 339-348.details
|
|
Double Negation Semantics for Generalisations of Heyting Algebras.Rob Arthan & Paulo Oliva - 2020 - Studia Logica 109 (2):341-365.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.details
|
|
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wiendetails
|
|
Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinasdetails
|
|
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.details
|
|
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.details
|
|
Fuzzy logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
New foundations for imperative logic I: Logical connectives, consistency, and quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.details
|
|
(1 other version)Brouwerian intuitionism.Michael Detlefsen - 1990 - Mind 99 (396):501-534.details
|
|
Logical connectives for two-state semantics.Marta Cialdea Mayer & Luis Fariñas del Cerro - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):520-536.details
|
|
Nested sequents for intermediate logics: the case of Gödel-Dummett logics.Tim S. Lyon - 2023 - Journal of Applied Non-Classical Logics 33 (2):121-164.details
|
|
Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian Universitydetails
|
|
Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.details
|
|
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation.Gemma Robles & José M. Méndez - 2021 - Journal of Applied Non-Classical Logics 31 (2):130-153.details
|
|
Two pretabular linear extensions of relevance logic R.Asadollah Fallahi - 2021 - Journal of Applied Non-Classical Logics 31 (2):154-179.details
|
|
Automated correspondence analysis for the binary extensions of the logic of paradox.Yaroslav Petrukhin & Vasily Shangin - 2017 - Review of Symbolic Logic 10 (4):756-781.details
|
|
What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.details
|
|
Admissibility and refutation: some characterisations of intermediate logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.details
|
|
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.details
|
|
Disjunction.Ray Jennings - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Gödel on Many-Valued Logic.Tim Lethen - 2023 - Review of Symbolic Logic 16 (3):655-671.details
|
|
The temporal dimension of thought: Cortical foundations of predicative representation.Markus Werning - 2005 - Synthese 146 (1-2):203-224.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
The relativity and universality of logic.Jean-Yves Beziau - 2015 - Synthese 192 (7):1939-1954.details
|
|
An elementary belief function logic.Didier Dubois, Lluis Godo & Henri Prade - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):582-605.details
|
|
The Löwenheim-Skolem theorem for Gödel logic.J. P. Aguilera - 2023 - Annals of Pure and Applied Logic 174 (4):103235.details
|
|
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis.Yaroslav Petrukhin & Vasilyi Shangin - forthcoming - Logic and Logical Philosophy:1.details
|
|
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.details
|
|
Gödel justification logics and realization.Nicholas Pischke - 2022 - Logic Journal of the IGPL 30 (3):343-408.details
|
|
A Note on Strong Axiomatization of Gödel Justification Logic.Nicholas Pischke - 2020 - Studia Logica 108 (4):687-724.details
|
|
The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.details
|
|
Stable reasoning.Pedro Cabalar, David Pearce & Agustín Valverde - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):238-254.details
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|
An algebraic approach to propositional fuzzy logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Epistemicism and response-dependence.Ivan Hu - 2021 - Synthese 199 (3-4):9109-9131.details
|
|
Two notions of compactness in Gödel logics.Petr Cintula - 2005 - Studia Logica 81 (1):99-123.details
|
|
Algebras of intervals and a logic of conditional assertions.Peter Milne - 2004 - Journal of Philosophical Logic 33 (5):497-548.details
|
|
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism.Gerhard Schurz - 2021 - Journal of Philosophical Logic 51 (1):27-55.details
|
|
On partial disjunction properties of theories containing Peano arithmetic.Taishi Kurahashi - 2018 - Archive for Mathematical Logic 57 (7-8):953-980.details
|
|
The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Three-valued logics for incomplete information and epistemic logic.Davide Ciucci & Didier Dubois - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 147--159.details
|
|