- Axiomatizing non-deterministic many-valued generalized consequence relations.Sérgio Marcelino & Carlos Caleiro - 2019 - Synthese 198 (S22):5373-5390.details
|
|
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.details
|
|
Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.details
|
|
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.details
|
|
Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.details
|
|
On the autological character of diagonalizable algebras.Roberto Magari - 1976 - Studia Logica 35 (4):327 - 333.details
|
|
On three-valued implicative systems.Marian Maduch - 1978 - Studia Logica 37 (4):351 - 385.details
|
|
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.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
|
|
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
|
|
Propositional logic for topology-like matrices: a calculus with restricted substitution.Thomas M. Leschine - 1978 - Studia Logica 37 (2):161-165.details
|
|
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.details
|
|
The realist theory of meaning.Fred Landman - 1985 - Linguistics and Philosophy 8 (1):35 - 51.details
|
|
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.details
|
|
Complete rings of sets and sentential logic.Melven R. Krom - 1977 - Studia Logica 36 (3):173 - 175.details
|
|
Ontological Pluralism and Multi-Quantificational Ontology.Zbigniew Król & Józef Lubacz - 2022 - Foundations of Science 27 (3):921-940.details
|
|
A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi. [REVIEW]Jerzy Król - 2006 - Foundations of Physics 36 (7):1070-1098.details
|
|
Topological-Frame Products of Modal Logics.Philip Kremer - 2018 - Studia Logica 106 (6):1097-1122.details
|
|
Matching Topological and Frame Products of Modal Logics.Philip Kremer - 2016 - Studia Logica 104 (3):487-502.details
|
|
Strong negation in intuitionistic style sequent systems for residuated lattices.Michał Kozak - 2014 - Mathematical Logic Quarterly 60 (4-5):319-334.details
|
|
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes.Costas D. Koutras - 2003 - Journal of Applied Non-Classical Logics 13 (1):47-71.details
|
|
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.Beata Konikowska - 1993 - Journal of Applied Non-Classical Logics 3 (1):39-71.details
|
|
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.details
|
|
A decompositional deduction system for a logic featuring inconsistency and uncertainty.Beata Konikowska - 2005 - Journal of Applied Non-Classical Logics 15 (1):25-44.details
|
|
Orthomodular Logic.Gudrun Kalmbach - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):395-406.details
|
|
Orthomodular Logic.Gudrun Kalmbach - 1974 - Mathematical Logic Quarterly 20 (25‐27):395-406.details
|
|
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.details
|
|
Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €. [REVIEW]Ramon Jansana - 2023 - Studia Logica 111 (4):709-715.details
|
|
A survey of Mučnik and Medvedev degrees.Peter G. Hinman - 2012 - Bulletin of Symbolic Logic 18 (2):161-229.details
|
|
Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.details
|
|
Constructing denumerable matrices strongly adequate for pre-finite logics.Ewa Graczyńska & Andrzej Wroński - 1974 - Studia Logica 33 (4):417 - 423.details
|
|
The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8‐10):119-126.details
|
|
The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8-10):119-126.details
|
|
Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.details
|
|
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.details
|
|
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.details
|
|
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.details
|
|
Grothendieck Topology as Geometric Modality.Robert I. Goldblatt - 1981 - Mathematical Logic Quarterly 27 (31‐35):495-529.details
|
|
Pavelka's Fuzzy Logic and Free L‐Subsemigroups.Giangiacomo Gerla - 1985 - Mathematical Logic Quarterly 31 (7‐8):123-129.details
|
|
Pavelka's Fuzzy Logic and Free L-Subsemigroups.Giangiacomo Gerla - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (7-8):123-129.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
Intuitionistic Logic and Local Mathematical Theories.Yvon Gauthier - 1976 - Mathematical Logic Quarterly 23 (27‐30):411-414.details
|
|
Intuitionistic Logic and Local Mathematical Theories.Yvon Gauthier - 1977 - Mathematical Logic Quarterly 23 (27-30):411-414.details
|
|
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond.George Gargov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):195-283.details
|
|
Probabilistic semantics objectified: I. Postulates and logics. [REVIEW]Bas C. Fraassen - 1981 - Journal of Philosophical Logic 10 (3):371 - 394.details
|
|
An efficient relational deductive system for propositional non-classical logics.Andrea Formisano & Marianna Nicolosi-Asmundo - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):367-408.details
|
|
Two quantum logics of indeterminacy.Samuel C. Fletcher & David E. Taylor - 2021 - Synthese 199 (5-6):13247-13281.details
|
|
Quantum indeterminacy and the eigenstate-eigenvalue link.Samuel C. Fletcher & David E. Taylor - 2021 - Synthese 199 (3-4):1-32.details
|
|
An algebraic treatment of the Barwise compactness theory.Isidore Fleischer & Philip Scott - 1991 - Studia Logica 50 (2):217 - 223.details
|
|
El álgebra de proposiciones y la lógica del descubrimiento.Miguel Ángel Quintanilla Fisac - 1979 - Cuadernos Salmantinos de Filosofía 6:187-196.details
|
|