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 the normal view instead:
scientific article; zbMATH DE number 6045068
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8333032727241516
0 references
0.805433988571167
0 references
0.7687686085700989
0 references
0.7641386389732361
0 references
0.7607900500297546
0 references
