Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus (Q1182695): 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.1305/ndjfl/1093635930 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2016152439 / rank | |||
Normal rank | |||
Latest revision as of 02:41, 20 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
