Computable Kripke models and intermediate logics (Q1271561)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable Kripke models and intermediate logics |
scientific article |
Statements
Computable Kripke models and intermediate logics (English)
0 references
18 January 1999
0 references
In the paper under review the authors investigate effectiveness of Kripke models for first-order theories of intermediate logics, i.e. those that lie between intuitionistic and classical predicate logic. Completeness (by Kripke) results for intermediate logics such as intuitionistic logic, classical logic, constant domain logic, directed frames logic, and Dummett's logic are obtained.
0 references
computable models
0 references
intermediate logics
0 references
Kripke frames
0 references
semantic completeness
0 references
effectiveness of Kripke models
0 references
