Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus (Q1182695): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 01:08, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus |
scientific article |
Statements
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus (English)
0 references
28 June 1992
0 references
As a sequel to the author's previous work on generalization of Kripke models for intuitionistic propositional logic, ancestral Kripke models are introduced by replacing converse-heredity of rudimentary Kripke models with ancestrality. With some embedding results to the modal logic S4, the author provides another type of modelling as well, where valuations are defined on the logical connectives differently from the standard one and not necessarily hereditary w.r.t. accessibility relation.
0 references
intuitionistic propositional logic
0 references
ancestral Kripke models
0 references
modal logic S4
0 references
valuations
0 references