Intuitionistic logical connectives on linear structures

DOI10.1007/BF01137690MaRDI QIDQ1069924zbMATH OpenFDO

Authors 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)

Recommendations

• Semantic characterization of intuitionistic logical connectives
• Nonstandard connectives of intuitionistic propositional logic
• scientific article; zbMATH DE number 4118334
• scientific article; zbMATH DE number 1302499
• Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models

Cites work

• scientific article; zbMATH DE number 3777460 (Why is no real title available?)
• Logical connectives for intuitionistic propositional logic
• Model Theory for Intuitionistic Logic

Cited in

(4)

• On linear Brouwerian logics
• scientific article; zbMATH DE number 1302499 (Why is no real title available?)
• Basic Constructive Connectives, Determinism and Matrix-Based Semantics
• scientific article; zbMATH DE number 4118334 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1069924)