Conservatively extending classical logic with transparent truth (Q2890700)
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: Conservatively extending classical logic with transparent truth |
scientific article; zbMATH DE number 6045068
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conservatively extending classical logic with transparent truth |
scientific article; zbMATH DE number 6045068 |
Statements
11 June 2012
0 references
transparent truth predicate
0 references
distinguished names
0 references
quote-names
0 references
T-transform
0 references
cut
0 references
Conservatively extending classical logic with transparent truth (English)
0 references
A conservative extension of a classical logic with a transparent truth predicate is described. The price to be paid is (a local) non-transitivity of the respective logical system, where this non-transitivity blocks the possibility of deriving absurdity. Two Gentzen-like proof systems are defined and the proofs of their soundness and completeness (with and, respectively, without admissibility of cut) are presented.
0 references
