Fuzzy R Systems and Algebraic Routley-Meyer Semantics

Korean Journal of Logic 25 (3):313-332 (2022)
  Copy   BIBTEX

Abstract

Here algebraic Routley-Meyer semantics is addressed for two fuzzy versions of the logic of relevant implication R. To this end, two versions R t and R T of R and their fuzzy extensions FRt and FRT , respectively, are first discussed together with their algebraic semantics. Next algebraic Routley-Meyer semantics for these two fuzzy extensions is introduced. Finally, it is verified that these logics are sound and complete over the semantics.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Routley-Meyer Semantics for E-R, Ee-R, Eec-R.Eun-Suk Yang - 2003 - Korean Journal of Logic 6 (1):19-32.
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics.Katalin Bimbo, Jon Michael Dunn & Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):171-209.
R-mingle and beneath. Extensions of the Routley-Meyer semantics for R.J. Michael Dunn - 1979 - Notre Dame Journal of Formal Logic 20:369.
A Relevant Logic of Questions.Vít Punčochář - 2020 - Journal of Philosophical Logic 49 (5):905-939.
A Routley-Meyer type semantics for relevant logics including B r plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139-158.
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.Gemma Robles & José M. Méndez - 2014 - Journal of Applied Non-Classical Logics 24 (4):321-332.
Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀ p and ∃ p.Philip Kremer - 1993 - Journal of Symbolic Logic 58 (1):334-349.
A star-free semantics for R.Edwin D. Mares - 1995 - Journal of Symbolic Logic 60 (2):579 - 590.
A Routley-Meyer semantics for Ackermann's logics of “strenge implication”.José M. Méndez - 2009 - Logic and Logical Philosophy 18 (3-4):191-219.
A Routley-Meyer Semantics for Łukasiewicz 3-valued Logic.Gemma Robles - 2018 - Proceedings of the XXIII World Congress of Philosophy 19:29-34.

Analytics

Added to PP
2024-10-19

Downloads
67 (#310,417)

6 months
67 (#85,871)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references