Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus (Q3983936)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus |
scientific article |
Statements
Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus (English)
0 references
27 June 1992
0 references
rudimentary Beth models
0 references
intuitionistic propositional logic
0 references
valuations
0 references
rudimentary Kripke models
0 references