Computable Kripke models and intermediate logics (Q1271561): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1006/inco.1998.2704 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2002701178 / rank | |||
Normal rank | |||
Revision as of 21:33, 19 March 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
