A finite model property for RMImin

&
Mathematical Logic Quarterly 52 (6):602-612 (2006)
  Copy   BIBTEX

Abstract

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMImin has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMImin is decidable

Categories

Keywords

Reprint years

DOI

10.1002/malq.200610018

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,053

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

The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Finite embeddability property for residuated groupoids.Maciej Farulewski - 2008 - Reports on Mathematical Logic.
On the Finite Model Property of Weak Intuitionistic Tense Logic.Yu Peng, Zhe Lin & Fei Liang - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 174-182.
On The Finite Embeddability Property For Residuated Lattices, Pocrims And Bck-algebras.Willem Blok & Clint Van Alten - 2000 - Reports on Mathematical Logic:159-165.
The finite model property for the implicational fragment of IPC without exchange and contraction.C. van Alten & J. Raftery - 1999 - Studia Logica 63 (2):213-222.
Semicomplemented Lattices and the Finite Model Property.I. L. Humberstone & A. J. Lock - 1986 - Mathematical Logic Quarterly 32 (25-30):431-437.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.

Analytics

Added to PP
2013-12-01

Downloads
33 (#662,832)

6 months
5 (#1,007,337)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.

Add more citations

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
Note on algebraic models for relevance logic.Josep M. Font & Gonzalo Rodríguez - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):535-540.

View all 14 references / Add more references