Intuitionistic logical connectives on linear structures

DOI10.1007/BF01137690zbMath0583.03015MaRDI QIDQ1069924

Aleksandr D. Yashin

Publication date: 1984

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

zbMATH Keywords

propositional formulasintuitionalistic connectiveslinear Kripke modelstomorrow connective

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Logical connectives for intuitionistic propositional logic
• Model Theory for Intuitionistic Logic

This page was built for publication: Intuitionistic logical connectives on linear structures