- No cause for collapse.Dustin Gooßens & Andrew Tedder - 2023 - Asian Journal of Philosophy 2 (2):1-19.details
|
|
Sul Dialeteismo. Lezioni Padovane di Graham Priest Ed Altri Saggi Su L Dialeteismo.Filippo Mancini & Massimiliano Carrara - 2021 - Padua, Province of Padua, Italy: Padova University Press.details
|
|
Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Quantum Entanglement: An Analysis via the Orthogonality Relation.Shengyang Zhong - 2023 - Foundations of Physics 53 (4):1-49.details
|
|
Quantum states: an analysis via the orthogonality relation.Shengyang Zhong - 2021 - Synthese 199 (5-6):15015-15042.details
|
|
On the Modal Logic of the Non-orthogonality Relation Between Quantum States.Shengyang Zhong - 2018 - Journal of Logic, Language and Information 27 (2):157-173.details
|
|
Correspondence Between Kripke Frames and Projective Geometries.Shengyang Zhong - 2018 - Studia Logica 106 (1):167-189.details
|
|
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - forthcoming - Studia Logica:1-29.details
|
|
Matrix-based logic for application in physics.Paul Weingartner - 2009 - Review of Symbolic Logic 2 (1):132-163.details
|
|
Basis Logic for Application in Physics and Its Intuitionistic Alternative.Paul Weingartner - 2010 - Foundations of Physics 40 (9-10):1578-1596.details
|
|
An Alternative Propositional Calculus for Application to Empirical Sciences.Paul Weingartner - 2010 - Studia Logica 95 (1-2):233 - 257.details
|
|
Modal definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.details
|
|
Fungibility in Quantum Sets.Kenji Tokuo - 2019 - Axiomathes 29 (3):297-310.details
|
|
Quantum supports and modal logic.George Svetlichny - 1986 - Foundations of Physics 16 (12):1285-1295.details
|
|
The Distributivity on Bi-Approximation Semantics.Tomoyuki Suzuki - 2016 - Notre Dame Journal of Formal Logic 57 (3):411-430.details
|
|
A Sahlqvist theorem for substructural logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.details
|
|
Computational complexity for bounded distributive lattices with negation.Dmitry Shkatov & C. J. Van Alten - 2021 - Annals of Pure and Applied Logic 172 (7):102962.details
|
|
Quantum-like logics and schizophrenia.S. A. Selesnick & G. S. Owen - 2012 - Journal of Applied Logic 10 (1):115-126.details
|
|
Why classical logic is privileged: justification of logics based on translatability.Gerhard Schurz - 2021 - Synthese 199 (5-6):13067-13094.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 A Neglected Path to Intuitionism.Ian Rumfitt - 2012 - Topoi 31 (1):101-109.details
|
|
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.details
|
|
Unified quantum logic.Mladen Pavičić - 1989 - Foundations of Physics 19 (8):999-1016.details
|
|
Sequential method in quantum logic.Hirokazu Nishimura - 1980 - Journal of Symbolic Logic 45 (2):339-352.details
|
|
Some Properties of Orthologics.Yutaka Miyazaki - 2005 - Studia Logica 80 (1):75-93.details
|
|
Bets and Boundaries: Assigning Probabilities to Imprecisely Specified Events.Peter Milne - 2008 - Studia Logica 90 (3):425-453.details
|
|
Deduction, Ordering, and Operations in Quantum Logic.Normal D. Megill & Mladen Pavičić - 2002 - Foundations of Physics 32 (3):357-378.details
|
|
Topological duality for orthomodular lattices.Joseph McDonald & Katalin Bimbó - 2023 - Mathematical Logic Quarterly 69 (2):174-191.details
|
|
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.details
|
|
Strong versus weak quantum consequence operations.Jacek Malinowski - 1992 - Studia Logica 51 (1):113 - 123.details
|
|
Autoreferential semantics for many-valued modal logics.Zoran Majkic - 2008 - Journal of Applied Non-Classical Logics 18 (1):79-125.details
|
|
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.details
|
|
The logical structure of linguistic commitment III Brandomian scorekeeping and incompatibility.Mark Lance - 2001 - Journal of Philosophical Logic 30 (5):439-464.details
|
|
An exact philosophy of inexactness.Michael Katz - 1984 - Topoi 3 (1):43-53.details
|
|
Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.details
|
|
Probability Logics for Reasoning About Quantum Observations.Angelina Ilić Stepić, Zoran Ognjanović & Aleksandar Perović - 2023 - Logica Universalis 17 (2):175-219.details
|
|
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.details
|
|
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.Hiroshi Aoyama - 2004 - Notre Dame Journal of Formal Logic 45 (4):193-213.details
|
|
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework.Chrysafis Hartonas - 2018 - Journal of Philosophical Logic 47 (1):67-94.details
|
|
Order- dual realational semantics for non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 25 (2):145-182.details
|
|
Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.details
|
|
Modal and temporal extensions of non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 24 (2):156-185.details
|
|
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.details
|
|
Game-theoretic semantics for non-distributive logics.Chrysafis Hartonas - 2019 - Logic Journal of the IGPL 27 (5):718-742.details
|
|
First-order frames for orthomodular quantum logic.Chrysafis Hartonas - 2016 - Journal of Applied Non-Classical Logics 26 (1):69-80.details
|
|
An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.details
|
|
Orthomodularity is not elementary.Robert Goldblatt - 1984 - Journal of Symbolic Logic 49 (2):401-404.details
|
|
Grishin Algebras and Cover Systems for Classical Bilinear Logic.Robert Goldblatt - 2011 - Studia Logica 99 (1-3):203-227.details
|
|
Conservativity of Heyting implication over relevant quantification.Robert Goldblatt - 2009 - Review of Symbolic Logic 2 (2):310-341.details
|
|
Quantum logics and lindenbaum property.Roberto Giuntini - 1987 - Studia Logica 46 (1):17 - 35.details
|
|