- Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.details
|
|
Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.details
|
|
Quantum measurement as a communication with nature.John F. Cyranski - 1978 - Foundations of Physics 8 (11-12):805-822.details
|
|
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.details
|
|
Near-equational and equational systems of logic for partial functions. I.William Craig - 1989 - Journal of Symbolic Logic 54 (3):795-827.details
|
|
Nicolas Bourbaki and the concept of mathematical structure.Leo Corry - 1992 - Synthese 92 (3):315 - 348.details
|
|
A hidden measurement representation for quantum entities described by finite-dimensional complex Hilbert spaces.Bob Coecke - 1995 - Foundations of Physics 25 (8):1185-1208.details
|
|
Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain).J. P. Cleave - 1976 - Mathematical Logic Quarterly 22 (1):481-500.details
|
|
Quasi-Boolean Algebras, Empirical Continuity and Three-Valued Logic J. P. Cleave in Bristol.J. P. Cleave - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):481-500.details
|
|
Admissibility in Positive Logics.Alex Citkin - 2017 - Logica Universalis 11 (4):421-437.details
|
|
A constructive Galois connection between closure and interior.Francesco Ciraulo & Giovanni Sambin - 2012 - Journal of Symbolic Logic 77 (4):1308-1324.details
|
|
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.details
|
|
Complete and atomic algebras of the infinite valued łukasiewicz logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.details
|
|
The logic of orthomodular posets of finite height.Ivan Chajda & Helmut Länger - 2022 - Logic Journal of the IGPL 30 (1):143-154.details
|
|
Limits of Optimization.Cesare Carissimo & Marcin Korecki - 2024 - Minds and Machines 34 (1):117-137.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.details
|
|
Extending the first-order theory of combinators with self-referential truth.Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (2):477-513.details
|
|
Some combinatorics of imperfect information.Peter Cameron & Wilfrid Hodges - 2001 - Journal of Symbolic Logic 66 (2):673-684.details
|
|
Algebraic Expansions of Logics.Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela & Joan Gispert - 2023 - Journal of Symbolic Logic 88 (1):74-92.details
|
|
Fibring non-truth-functional logics: Completeness preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.details
|
|
Behavioral algebraization of da Costa's C-systems.Carlos Caleiro & Ricardo Gonçalves - 2009 - Journal of Applied Non-Classical Logics 19 (2):127-148.details
|
|
Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types.J. Richard Büchi - 1953 - Journal of Symbolic Logic 18 (2):125 - 135.details
|
|
More triviality.Richard Bradley - 1999 - Journal of Philosophical Logic 28 (2):129-139.details
|
|
Adams conditionals and non-monotonic probabilities.Richard Bradley - 2006 - Journal of Logic, Language and Information 15 (1-2):65-81.details
|
|
Fuzzy Galois Connections.Radim Bêlohlávek - 1999 - Mathematical Logic Quarterly 45 (4):497-504.details
|
|
Proof Theory for Positive Logic with Weak Negation.Marta Bílková & Almudena Colacito - 2020 - Studia Logica 108 (4):649-686.details
|
|
MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics.Jean-Yves Beziau - 2017 - Journal of the Indian Council of Philosophical Research 34 (2):259-287.details
|
|
The initial meadows.Inge Bethke & Piet Rodenburg - 2010 - Journal of Symbolic Logic 75 (3):888-895.details
|
|
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.details
|
|
Duality for the Logic of Quantum Actions.Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong - 2015 - Studia Logica 103 (4):781-805.details
|
|
Superposition in quantum and classical mechanics.M. K. Bennett & D. J. Foulis - 1990 - Foundations of Physics 20 (6):733-744.details
|
|
On procedures for the measurement of questions in quantum mechanics.Paul Benioff - 1975 - Foundations of Physics 5 (2):251-255.details
|
|
Representations of monadic MV -algebras.L. Peter Belluce, Revaz Grigolia & Ada Lettieri - 2005 - Studia Logica 81 (1):123-144.details
|
|
Orthospaces and quantum logic.J. L. Bell - 1985 - Foundations of Physics 15 (12):1179-1202.details
|
|
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms.Ringo Baumann & Hannes Strass - 2022 - Artificial Intelligence 305 (C):103680.details
|
|
Epistemic Logic, Monotonicity, and the Halbach–Welch Rapprochement Strategy.Kyle Banick - 2019 - Studia Logica 107 (4):669-693.details
|
|
Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks.I. C. Baianu, R. Brown, G. Georgescu & J. F. Glazebrook - 2006 - Axiomathes 16 (1):65-122.details
|
|
Ordre fondamental d'une théorie 1-basée.Seyyed Mohammad Bagheri - 1999 - Journal of Symbolic Logic 64 (4):1426-1438.details
|
|
Relevance and paraconsistency—a new approach.Arnon Avron - 1990 - Journal of Symbolic Logic 55 (2):707-732.details
|
|
Equivalence: an attempt at a history of the idea.Amir Asghari - 2019 - Synthese 196 (11):4657-4677.details
|
|
Notions of density that imply representability in algebraic logic.Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon - 1998 - Annals of Pure and Applied Logic 91 (2-3):93-190.details
|
|
Characterization of the existence of semicontinuous weak utilities for binary relations.Athanasios Andrikopoulos - 2011 - Theory and Decision 70 (1):13-26.details
|
|
Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices.Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp & Manuel Lerman - 1996 - Journal of Symbolic Logic 61 (3):880-905.details
|
|
Logics for classes of Boolean monoids.Gerard Allwein, Hilmi Demir & Lee Pike - 2004 - Journal of Logic, Language and Information 13 (3):241-266.details
|
|
Continuous Utility Functions Through Scales.J. C. R. Alcantud, G. Bosi, M. J. Campión, J. C. Candeal, E. Induráin & C. Rodríguez-Palmero - 2007 - Theory and Decision 64 (4):479-494.details
|
|
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.Romà J. Adillon & Ventura Verdú - 2000 - Studia Logica 65 (1):11-30.details
|
|
Free Double Ockham Algebras.Manuel Abad & J. Patricio Díaz Varela - 1999 - Journal of Applied Non-Classical Logics 9 (1):173-183.details
|
|
Perspectival Plurality, Relativism, and Multiple Indexing.Dan Zeman - 2018 - In Rob Truswell, Chris Cummins, Caroline Heycock, Brian Rabern & Hannah Rohde (eds.), Proceedings of Sinn und Bedeutung 21. Semantics Archives. pp. 1353-1370.details
|
|
Morphisms on Bi-approximation Semantics.Tomoyuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 494-515.details
|
|