Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus

DOI10.1093/LOGCOM/1.5.613zbMath0754.03007OpenAlexW2000122319MaRDI QIDQ3983936

Kosta Došen

Publication date: 27 June 1992

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/1.5.613

zbMATH Keywords

valuationsintuitionistic propositional logicrudimentary Kripke modelsrudimentary Beth models

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Rudimentary Kripke models for the intuitionistic propositional calculus

This page was built for publication: Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus