- Tytuł:
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
- Autorzy:
- Tourlakis, George
- Tematy:
-
Modal logic
GL
first-order logic
proof theory
cut elimination
reflection property
disjunction property
quantified modal logic
QGL
arithmetical completeness - Pokaż więcej
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Dostawca treści:
- Biblioteka Nauki
Artykuł