✦ LIBER ✦

The finite model property for semilinear substructural logics

✍ Scribed by Wang, San-Min

Book ID: 121241471
Publisher: John Wiley and Sons
Year: 2013
Tongue: English
Weight: 112 KB
Volume: 59
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.201200032

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Craig interpolation for semilinear subst

Craig interpolation for semilinear substructural logics

✍ Marchioni, Enrico; Metcalfe, George 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 201 KB

Finite Models of Some Substructural Logi

Finite Models of Some Substructural Logics

✍ Wojciech Buszkowski 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

On the Finite Model Property of Intuitio

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

✍ Takahito Aoto; Hiroyuki Shirasu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 816 KB

On decidable, finitely axiomatizable, mo

On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part I

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 586 KB

On decidable, finitely axiomatizable, mo

On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part II

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 267 KB

A finite model property for RMImin

✍ Ai-ni Hsieh; James G. Raftery 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 192 KB

## Abstract It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic **RMI**~min~ has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that **RM