Computable Kripke models and intermediate logics (Q1271561): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q588612 |
Changed an Item |
||
| Property / reviewed by | |||
| Property / reviewed by: Marat M. Arslanov / rank | |||
Normal rank | |||
Revision as of 04:37, 20 February 2024
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
