Teoriodowodowe kryteria logiczności
Proof-theoretic Criteria of Logicality
Author(s): Janusz MaciaszekSubject(s): Philosophy
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: sequent calculus; conservative extension; analysis;
Summary/Abstract: W rozdziale piątym analizuję teoriodowodowe kryteria logiczności dla rachunku sekwentów. [ZE WSTĘPU AUTORA]
Journal: Acta Universitatis Lodziensis. Folia Philosophica. Ethica - Aesthetica - Practica
- Issue Year: 2003
- Issue No: 15
- Page Range: 92-107
- Page Count: 16
- Language: Polish
