On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains (Q1577172)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains |
scientific article; zbMATH DE number 1498417
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains |
scientific article; zbMATH DE number 1498417 |
Statements
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains (English)
0 references
30 August 2000
0 references
The author proves that the fragment of intuitionistic logic without disjunction and existential quantification is complete with respect to the Kripke frames with finite domains. The author also proves this fragment to possess the relaxed interpolation property and the Beth property. It is well known that neither classical nor intuitionistic logic is complete with respect to such Kripke frames.
0 references
intuitionistic logic
0 references
Kripke frame
0 references
completeness
0 references
