The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective (Q1905252)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective |
scientific article |
Statements
The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective (English)
0 references
8 January 1996
0 references
For the Smetanich logic [Tr. Mosk. Mat. Obshch. 9, 357-371 (1960)] we propose an adequate Kripke-style semantics and prove finite axiomatizability, solvability and the disjunction property. Using these results, we show that Smetanich logic also satisfies Gabbay's definition of an intuitionistic calculus with a new connective [\textit{D. M. Gabbay}, Stud. Log. 36, 127-139 (1977; Zbl 0363.02026)].
0 references
intuitionistic logic
0 references
Smetanich logic
0 references
Kripke-style semantics
0 references
finite axiomatizability
0 references
disjunction property
0 references
new connective
0 references
