Semantic characterization of intuitionistic logical connectives

DOI10.1007/BF01137476zbMath0658.03006MaRDI QIDQ1111537

Aleksandr D. Yashin

Publication date: 1985

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

zbMATH Keywords

intuitionistic propositional logicfunctional completenessKripke-semanticsintuitionistic connectives

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Semantic characterization of certain sets of intuitionistic logical connectives

Cites Work

• Unnamed Item
• Unnamed Item
• On a second order propositional operator in intuitionistic logic
• On some new intuitionistic propositional connectives. I
• A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic
• Logical connectives for intuitionistic propositional logic
• Model Theory for Intuitionistic Logic

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