- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Geometry of Relevant Implication II
Australasian Journal of Logic 20 (1):88-94 (2023)
Abstract
This note extends earlier results on geometrical interpretations of the logic KR to prove some additional results, including a simple undecidability proof for the four-variable fragment of KR.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Relevant Implication and Ordered Geometry.Alasdair Urquhart - 2019 - Australasian Journal of Logic 16 (8):342-354.
Relevant implication and projective geometry.Alasdair Urquhart - 1983 - Logique Et Analyse 26 (3):345-357.
A cognitive view of relevant implication.Daniele Porello & Claudio Masolo - 2015 - In Antonio Lieto, Cristina Battaglino, Daniele P. Radicioni & Manuela Sanguinietti (eds.), Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, Turin, Italy, September 28-29, 2015. pp. 40--53.
Propositional logic extended with a pedagogically useful relevant implication.Diderik Batens - 2014 - Logic and Logical Philosophy 23 (3).
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
Conservativity of Heyting implication over relevant quantification.Robert Goldblatt - 2009 - Review of Symbolic Logic 2 (2):310-341.
Relevant implication and the case for a weaker logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
From practical to pure geometry and back.Mario Bacelar Valente - 2020 - Revista Brasileira de História da Matemática 20 (39):13-33.
Relevant Implication and the Case for a Weaker Logic: Dedicated to Robert K. Meyer on the Occasion of His 60th Birthday.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151-183.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Grounding principles for (relevant) implication.Francesca Poggiolesi - 2020 - Synthese 198 (8):7351-7376.
Defining Relevant Implication in a Propositionally Quantified S4.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Failure of interpolation in relevant logics.Alasdair Urquhart - 1993 - Journal of Philosophical Logic 22 (5):449 - 479.
Analytics
Added to PP
2023-04-13
Downloads
10 (#1,198,690)
6 months
6 (#530,265)
2023-04-13
Downloads
10 (#1,198,690)
6 months
6 (#530,265)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-9vkzx uwo