Intuitionistic logical connectives on linear structures (Q1069924)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intuitionistic logical connectives on linear structures |
scientific article |
Statements
Intuitionistic logical connectives on linear structures (English)
0 references
1984
0 references
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.
0 references
linear Kripke models
0 references
tomorrow connective
0 references
propositional formulas
0 references
intuitionalistic connectives
0 references
