Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus (Q1182695): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:37, 5 March 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