Název: Důkazy v přirozené dedukci a sekventovém kalkulu v substrukturální logice FL
Překlad názvu: Proofs in natural deduction and sequent system in substructural logic FL
Autoři: Dolejší, Zuzana ; Bílková, Marta (vedoucí práce) ; Běhounek, Libor (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2011
Jazyk: cze
Klíčová slova: Důkaz; Full Lambek; Gentzenovský kalkul; Kalkul Přirozené dedukce; Odvození; Substrukturální logiky; Derivation; Full Lambek; Gentzen Calculus; Natural Deduction Calculus; Proof; Substructural logics

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/37607

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-301868


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce