- 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
|
|
Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.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
|
|
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
|
|
Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.details
|
|
(1 other version)A necessary relation algebra for mereotopology.Ivo DÜntsch, Gunther Schmidt & Michael Winter - 2001 - Studia Logica 69 (3):381 - 409.details
|
|
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.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
|
|
(1 other version)Locative ontology. Parts I–III.Jerzy Perzanowski - 2003 - Logic and Logical Philosophy 1:7-94.details
|
|
Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.details
|
|
Essay review.Alison Walsh - 1998 - History and Philosophy of Logic 19 (2):107-114.details
|
|
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.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
|
|
Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.details
|
|