| Title: |
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable |
| Authors: |
Skvortsov, Dmitrij |
| Publisher Information: |
Association for Symbolic Logic |
| Publication Year: |
2005 |
| Collection: |
Project Euclid (Cornell University Library) |
| Description: |
We prove that an intermediate predicate logic characterized by a class of finite partially ordered sets is recursively axiomatizable iff it is “finite”, i.e., iff it is characterized by a single finite partially ordered set. Therefore, the predicate logic LFin of the class of all predicate Kripke frames with finitely many possible worlds is not recursively axiomatizable. |
| Document Type: |
text |
| File Description: |
application/pdf |
| Language: |
English |
| ISSN: |
0022-4812; 1943-5886 |
| Relation: |
http://projecteuclid.org/euclid.jsl/1120224722; J. Symbolic Logic 70, iss. 2 (2005), 451-459 |
| DOI: |
10.2178/jsl/1120224722 |
| Availability: |
http://projecteuclid.org/euclid.jsl/1120224722; https://doi.org/10.2178/jsl/1120224722 |
| Rights: |
Copyright 2005 Association for Symbolic Logic |
| Accession Number: |
edsbas.D0724FF4 |
| Database: |
BASE |