Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models (Q1068825)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models |
scientific article; zbMATH DE number 3931009
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models |
scientific article; zbMATH DE number 3931009 |
Statements
Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models (English)
0 references
1984
0 references
The concept of one-place (or unary) intuitionistic logical connective is defined on the basis of the elementary theory of Kripke models. It is shown that interpretations of standard propositional formulas of one variable, and only these, constitute such connectives.
0 references
intuitionistic logic
0 references
intuitionistic logical connective
0 references
0.8615122
0 references
0.8610498
0 references
0 references
0.8485149
0 references
0.8408866
0 references
0.83918434
0 references
0.83753514
0 references
0.8341306
0 references
0.8332077
0 references
