- Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.details
|
|
(1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.details
|
|
The Structure of Appearance.Nelson Goodman - 1951 - Cambridge, MA, USA: Harvard University Press.details
|
|
Parts of Classes.David K. Lewis - 1990 - Blackwell.details
|
|
Parts and Places: The Structures of Spatial Representation.Roberto Casati & Achille C. Varzi - 1999 - MIT Press.details
|
|
(2 other versions)Parts: a study in ontology.Peter M. Simons - 1987 - New York: Oxford University Press.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
(2 other versions)Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.details
|
|
A Plea for Things That Are Not Quite All There: Or, Is There a Problem about Vague Composition and Vague Existence?Nicholas J. J. Smith - 2005 - Journal of Philosophy 102 (8):381-421.details
|
|
What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.details
|
|
Inconsistent boundaries.Zach Weber & A. J. Cotnoir - 2015 - Synthese 192 (5):1267-1294.details
|
|
The extensionality of parthood and composition.Achille C. Varzi - 2008 - Philosophical Quarterly 58 (230):108-133.details
|
|
Parts, classes and Parts of Classes : an anti-realist reading of Lewisian mereology.Neil Tennant - 2013 - Synthese 190 (4):709-742.details
|
|
Indefinite Divisibility.Jeffrey Sanford Russell - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (3):239-263.details
|
|
Parts of Classes.David K. Lewis - 1991 - Mind 100 (3):394-397.details
|
|
Classical mereology is not elementarily axiomatizable.Andrzej Pietruszczak - 2015 - Logic and Logical Philosophy 24 (4).details
|
|
A General Concept of Being a Part of a Whole.Andrzej Pietruszczak - 2014 - Notre Dame Journal of Formal Logic 55 (3):359-381.details
|
|
Nonclassical Mereology and Its Application to Sets.Peter Forrest - 2002 - Notre Dame Journal of Formal Logic 43 (2):79-94.details
|
|
Sequent calculus proof theory of intuitionistic apartness and order relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.details
|
|
(1 other version)The Calculus of Individuals and Its Uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (3):113-114.details
|
|
(1 other version)The calculus of individuals and its uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (2):45-55.details
|
|
(1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.details
|
|
Nominalistic Systems.Michael Jubien - 1973 - Philosophical Review 82 (4):540.details
|
|
Parthood‐Like Relations: Closure Principles And Connections To Some Axioms Of Classical Mereology.Paul Hovda - 2016 - Philosophical Perspectives 30 (1):183-197.details
|
|
(2 other versions)Intuitionism: An Introduction.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
Non-wellfounded Mereology.Aaron J. Cotnoir & Andrew Bacon - 2012 - Review of Symbolic Logic 5 (2):187-204.details
|
|
(1 other version)The Structure of Appearance. [REVIEW]W. V. Quine - 1951 - Journal of Philosophy 48 (18):556-563.details
|
|
Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.details
|
|
Nominalistic systems.Rolf A. Eberle - 1970 - Dordrecht,: Reidel.details
|
|
Anti‐symmetry and non‐extensional mereology.Aaron Cotnoir - 2010 - Philosophical Quarterly 60 (239):396-405.details
|
|
Intuitionistic Overlap Structures.Francesco Ciraulo - 2013 - Logic and Logical Philosophy 22 (2):201-212.details
|
|
Constructive version of Boolean algebra.F. Ciraulo, M. E. Maietti & P. Toto - 2013 - Logic Journal of the IGPL 21 (1):44-62.details
|
|
Free part-whole theory.Peter M. Simons - 1991 - In Karel Lambert (ed.), Philosophical applications of free logic. New York: Oxford University Press. pp. 285--306.details
|
|
Mereology: A Philosophical Introduction.Giorgio Lando - 2017 - London, UK: Bloomsbury.details
|
|
(2 other versions)Parts: A Study in Ontology.Peter M. Simons - 1987 - Oxford, England: Clarendon Press.details
|
|
(2 other versions)Parts. A Study in Ontology.Peter Simons - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):131-132.details
|
|
Intuitionism, an Introduction by A. Heyting. [REVIEW]Andrzej Grzegorczyk - 1958 - Studia Logica 7:277-278.details
|
|
(2 other versions)Parts: A Study in Ontology.Peter Simons - 1988 - Mind 97 (388):638-640.details
|
|
(2 other versions)Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
(1 other version)The Structure of Appearance.Nelson Goodman - 1956 - Studia Logica 4:255-261.details
|
|
(2 other versions)Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.details
|
|