|
|||||
|
|
A finite model property for RMImin |
|
| Authors: | Ai‐ni Hsieh James G Raftery |
| 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 RMI min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | Relevance logic mingle residuation relevant disjunction lattice finite embeddability property finite model property deducibility problems |