Equivalence between semantics for intuitionism. I

DOI10.2307/2273226zbMath0497.03047OpenAlexW2107692756MaRDI QIDQ3960693

No author found.

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273226

zbMATH Keywords

intuitionismBeth-modelcategory of languagescategory of systems of interpretationsKripke-modelnatural equivalence of semantics for a logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Metamathematics of constructive systems (03F50)

Related Items (1)

A semantic hierarchy for intuitionistic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Kripke models and the intuitionistic theory of species
• A new version of Beth semantics for intuitionistic logic
• An interpretation of intuitionistic analysis
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Equivalence between semantics for intuitionism. I