- Tytuł:
- On the proof-theory of a first-order extension of GL
- Autorzy:
-
Schwartz Yehuda
Tourlakis George - Data publikacji:
- 2013-09-18
- Tematy:
-
Gentzen-style logic
Gentzen’s Hauptsatz
Hilbert-style logic
GL
K4
provability logic
provability predicate
modal first-order logic
sequent calculus
cut-elimination
reflection theorem
Craig interpolation
arithmetical interpretation
soundness
arithmetical completeness - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł