Důkazy v přirozené dedukci a sekventovém kalkulu v substrukturální logice FL
Proofs in natural deduction and sequent system in substructural logic FL
bachelor thesis (DEFENDED)

View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/37607Collections
- Kvalifikační práce [19507]
Author
Advisor
Referee
Běhounek, Libor
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
10. 2. 2011
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Czech
Grade
Very good
Keywords (Czech)
Důkaz, Odvození, Kalkul Přirozené dedukce, Gentzenovský kalkul, Full Lambek, Substrukturální logiky
Keywords (English)
Proof, Derivation, Natural Deduction Calculus, Gentzen Calculus, Full Lambek, Substructural logics