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


Not Every "Tabular" Predicate Logic is Finitely Axiomatizable
Authors:Dmitrij Skvortsov
Affiliation:(1) All-Russian Institute of Scientific and Technical Information (VINITI), Usievicha 20A, 125219 Moscow, Russia
Abstract:An example of finite tree Mo is presented such that its predicate logic (i.e. the intermediate predicate logic characterized by the class of all predicate Kripke frames based on Mo) is not finitely axiomatizable. Hence it is shown that the predicate analogue of de Jongh - McKay - Hosoi's theorem on the finite axiomatizability of every finite intermediate propositional logic is not true.
Keywords:intermediate predicate logics  finite axiomatizability
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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