Computable Kripke models and intermediate logics (Q1271561)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1220920
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Computable Kripke models and intermediate logics |
scientific article; zbMATH DE number 1220920 |
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
0.8321236371994019
0 references
0.8018567562103271
0 references
0.7953385710716248
0 references
