A constructivism based on classical truth (Q1117222): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q1115415 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Serguei V. Solov'ev / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093634996 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2018556718 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:04, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A constructivism based on classical truth |
scientific article |
Statements
A constructivism based on classical truth (English)
0 references
1989
0 references
The operator T is said to represent classical truth in a system S if \(\vdash_{C\Pr C}A\) iff \(\vdash_{S}TA\) where CPrC is classical predicate calculus. The properties of constructive systems which allow such operator T are studied. The exposition is limited to propositional systems with some indications about predicative extensions. Methods based on Kripke semantics are used. A maximal constructive system \(E^*\), where T represents classical truth, is described. For this system a kind of semantics based on the notion of ``valuation from'' is introduced and investigated. The work is in connection with that of \textit{R. H. Thomason} [Z. Math. Logik Grundlagen Math. 15, 247-257 (1969; Zbl 0181.009)] and \textit{D. Nelson} [J. Symb. Logic 14, 16-26 (1949; Zbl 0033.243)].
0 references
classical truth operator
0 references
constructive systems
0 references
Kripke semantics
0 references