Pseudo two-valued evaluation method for intermediate logics (Q1820766): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Tsutomu Hosoi / rank | |||
Property / author | |||
Property / author: Tsutomu Hosoi / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5537356 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01881544 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2060124445 / rank | |||
Normal rank |
Latest revision as of 11:22, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pseudo two-valued evaluation method for intermediate logics |
scientific article |
Statements
Pseudo two-valued evaluation method for intermediate logics (English)
0 references
1986
0 references
Let VAR be the variables of a propositional logic. Let \(R=\{a_ i\vee \neg a_ i,\neg (a_ i\vee \neg a_ i)|\) \(a_ i\in VAR\}\). A pseudo two-valued evaluation, \(f(\,)\), is a function on VAR into \(R\); and \(f(\,)\) is extended to the wffs in the usual way. The author investigates logics obtained by adding (\(\neg a\vee \neg \neg a)\) to logics \(L\) containing intuitionistic logic. The main theorem states that \(A\) is a theorem of such a logic iff \(L\vdash f(A)\) for all pseudo two-valued evaluations \(f(\,)\).
0 references
pseudo two-valued evaluation
0 references
intuitionistic logic
0 references