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

View/Open

Text práce (138.1Kb)

Errata (17.61Kb)

Posudek vedoucího (41.02Kb)

Posudek oponenta (151.2Kb)

Záznam o průběhu obhajoby (29.28Kb)

Permanent link

http://hdl.handle.net/20.500.11956/37607

Identifiers

Study Information System: 101280

CU Catalogue: 001289677

Collections

• Kvalifikační práce [19507]

Author

Dolejší, Zuzana

Advisor

Bílková, Marta

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á fakulta

Language

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

Citace dokumentu