- Nonrepresentable relation algebras from groups.Hajnal Andréka, István Németi & Steven Givant - 2020 - Review of Symbolic Logic 13 (4):861-881.details
|
|
Mixed algebras and their logics.Ivo Düntsch, Ewa Orłowska & Tinko Tinchev - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):304-320.details
|
|
Finite, integral, and finite-dimensional relation algebras: a brief history.Roger D. Maddux - 2004 - Annals of Pure and Applied Logic 127 (1-3):117-130.details
|
|
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.details
|
|
A Coalgebraic Perspective on Logical Interpretations.M. A. Martins, A. Madeira & L. S. Barbosa - 2013 - Studia Logica 101 (4):783-825.details
|
|
A modal ontology of properties for quantum mechanics.Newton Costa, Olimpia Lombardi & Mariano Lastiri - 2013 - Synthese 190 (17):3671-3693.details
|
|
Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Tarski’s Influence on Computer Science.Solomon Feferman - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 391-404.details
|
|
Relevance logics and relation algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
A modal-Hamiltonian interpretation of quantum mechanics.Olimpia Lombardi & Mario Castagnino - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):380-443.details
|
|
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.details
|
|
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.details
|
|
Restriction in Program Algebra.Marcel Jackson & Tim Stokes - 2023 - Logic Journal of the IGPL 31 (5):926-960.details
|
|
Entanglement and indistinguishability in a quantum ontology of properties.Sebastian Fortin & Olimpia Lombardi - 2022 - Studies in History and Philosophy of Science Part A 91 (C):234-243.details
|
|
A finitary relational algebra for classical first-order logic.Paulo As Veloso & Armando M. Haeberer - 1991 - Bulletin of the Section of Logic 20 (2):52-62.details
|
|
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.details
|
|
R⌝-algebras and r⌝-model structures as power constructs.Chris Brink - 1989 - Studia Logica 48 (1):85 - 109.details
|
|
Philosophy and Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium (Kirchberg Am Wechsel, Austria 1993).Roberto Casati & Barry Smith (eds.) - 1994 - Vienna: Wien: Hölder-Pichler-Tempsky.details
|
|
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5.Wojciech Dzik & Beniamin Wróbel - 2015 - Bulletin of the Section of Logic 44 (1/2):1-14.details
|
|
The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic.Gianfranco Basti - 2022 - Philosophies 7 (6):121.details
|
|
Composing cardinal direction relations.Spiros Skiadopoulos & Manolis Koubarakis - 2004 - Artificial Intelligence 152 (2):143-171.details
|
|
Complete axiomatizations for XPath fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.details
|
|
Augustus De Morgan and the Logic of Relations.Daniel D. Merrill - 1990 - Dordrecht, Netherland: Springer.details
|
|
Composable Relations Induced in Networks of Aligned Ontologies: A Category Theoretic Approach.Seremeti Lambrini & Kameas Achilles - 2015 - Axiomathes 25 (3):285-311.details
|
|
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco - 2014 - Annals of Pure and Applied Logic 165 (2):409-427.details
|
|
Peirce, frege, the logic of relations, and church's theorem.Randall R. Dipert - 1984 - History and Philosophy of Logic 5 (1):49-66.details
|
|
Computation of Aristotle's and gergonne's syllogisms.S. N. Furs - 1987 - Studia Logica 46 (3):209 - 225.details
|
|
Finite Relation Algebras.James Mathew Koussas - 2021 - Journal of Symbolic Logic:1-15.details
|
|
Congruences and ideals on Boolean modules: a heterogeneous point of view.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2011 - Mathematical Logic Quarterly 57 (6):571-581.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
A modal-Hamiltonian interpretation of quantum mechanics.Olimpia Lombardi & Mario Castagnino - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):380-443.details
|
|
A modal ontology of properties for quantum mechanics.Newton da Costa, Olimpia Lombardi & Mariano Lastiri - 2013 - Synthese 190 (17):3671-3693.details
|
|
Reading proofs with understanding.George Weaver - 1988 - Theoria 54 (1):31-47.details
|
|
Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.details
|
|
Epistemic logic: All knowledge is based on our experience, and epistemic logic is the cognitive representation of our experiential confrontation in reality.Dan Nesher - 2021 - Semiotica 2021 (238):153-179.details
|
|
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.Alfonso Gerevini - 2005 - Artificial Intelligence 166 (1-2):37-80.details
|
|
Lingua characterica and calculus ratiocinator: The Leibnizian background of the Frege-Schröder polemic.Joan Bertran-San Millán - 2021 - Review of Symbolic Logic 14 (2):411-446.details
|
|
Action negation and alternative reductions for dynamic deontic logics.Jan Broersen - 2004 - Journal of Applied Logic 2 (1):153-168.details
|
|
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora-Bonilla - 2012 - Logic Journal of the IGPL 20 (4):747-756.details
|
|
Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.details
|
|
Podstawy logiki nazw.Adelina Morawiec - 1961 - Studia Logica 12 (1):145 - 170.details
|
|
Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.details
|
|
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.details
|
|
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure.Alfonso E. Gerevini & Alessandro Saetti - 2011 - Artificial Intelligence 175 (2):556-585.details
|
|
Reasoning about cardinal directions between extended objects.Weiming Liu, Xiaotong Zhang, Sanjiang Li & Mingsheng Ying - 2010 - Artificial Intelligence 174 (12-13):951-983.details
|
|
Weakly associative relation algebras with projections.Agi Kurucz - 2009 - Mathematical Logic Quarterly 55 (2):138-153.details
|
|
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.details
|
|
Relevance logic and the calculus of relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.details
|
|