首页 | 本学科首页   官方微博 | 高级检索  
     


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
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号