Semantic characterization of certain sets of intuitionistic logical connectives

DOI10.1007/BF01157938zbMath0693.03005OpenAlexW1994115374MaRDI QIDQ584240

Aleksandr D. Yashin

Publication date: 1989

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01157938

zbMATH Keywords

intuitionistic connectivenecessity operator

Mathematics Subject Classification ID

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

Cites Work

• Semantic characterization of intuitionistic logical connectives
• Applications of Kripke models to Heyting-Brouwer logic
• Model theory for an extension of intuitionistic logic
• Model Theory for Intuitionistic Logic

This page was built for publication: Semantic characterization of certain sets of intuitionistic logical connectives