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 等数据库收录! |