排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
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) 相似文献
2.
J. G. Raftery 《Transactions of the American Mathematical Society》2007,359(9):4405-4427
It is proved that the variety of representable idempotent commutative residuated lattices is locally finite. The -generated subdirectly irreducible algebras in this variety are shown to have at most elements each. A constructive characterization of the subdirectly irreducible algebras is provided, with some applications. The main result implies that every finitely based extension of positive relevance logic containing the mingle and Gödel-Dummett axioms has a solvable deducibility problem.
1