Paraconsistent logics and translations (Q1840969): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Hércules de Araújo Feitosa / rank | |||
Property / author | |||
Property / author: Hércules de Araújo Feitosa / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2753262 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4287778 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5728439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249037 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5596218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4722043 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5753932 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many-Valued Logics and Translations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3474641 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5581592 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4777260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal weakly-intuitionistic logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5610986 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of logical calculi. Basic theory of consequence operations / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1005298624839 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1489330838 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:15, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Paraconsistent logics and translations |
scientific article |
Statements
Paraconsistent logics and translations (English)
0 references
21 June 2001
0 references
classical propositional logic
0 references
intuitionistic logic
0 references
three-valued logic
0 references
paraconsistent logic
0 references
conservative translation between logics
0 references
category
0 references