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)

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

zbMATH Keywords

intuitionalistic connectiveslinear Kripke modelspropositional formulastomorrow connective

Mathematics Subject Classification ID

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

Review text

We introduce a definition of an intuitionistic logical connective, with respect to which the connectives are propositional formulas constructed using the standard intuitionalistic connectives \(\vee\), \&, \(\supset\), \(\neg\) and the tomorrow type connective G [the author, Vestn. Mosk. Univ., Ser. I 1982, No.4, 19-22 (1982; Zbl 0494.03017)], and only these.

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
• Basic Constructive Connectives, Determinism and Matrix-Based Semantics
• scientific article; zbMATH DE number 1302499 (Why is no real title available?)
• 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)