Original title: Důkazy v přirozené dedukci a sekventovém kalkulu v substrukturální logice FL
Translated title: Proofs in natural deduction and sequent system in substructural logic FL
Authors: Dolejší, Zuzana ; Bílková, Marta (advisor) ; Běhounek, Libor (referee)
Document type: Bachelor's theses
Year: 2011
Language: cze
Keywords: Derivation; Full Lambek; Gentzen Calculus; Natural Deduction Calculus; Proof; Substructural logics; Důkaz; Full Lambek; Gentzenovský kalkul; Kalkul Přirozené dedukce; Odvození; Substrukturální logiky

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/37607

Permalink: http://www.nusl.cz/ntk/nusl-301868


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Bachelor's theses