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
| dc.contributor.advisor | Bílková, Marta | |
| dc.creator | Dolejší, Zuzana | |
| dc.date.accessioned | 2017-04-27T18:23:21Z | |
| dc.date.available | 2017-04-27T18:23:21Z | |
| dc.date.issued | 2011 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/37607 | |
| dc.language | Čeština | cs_CZ |
| dc.language.iso | cs_CZ | |
| dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
| dc.subject | Důkaz | cs_CZ |
| dc.subject | Odvození | cs_CZ |
| dc.subject | Kalkul Přirozené dedukce | cs_CZ |
| dc.subject | Gentzenovský kalkul | cs_CZ |
| dc.subject | Full Lambek | cs_CZ |
| dc.subject | Substrukturální logiky | cs_CZ |
| dc.subject | Proof | en_US |
| dc.subject | Derivation | en_US |
| dc.subject | Natural Deduction Calculus | en_US |
| dc.subject | Gentzen Calculus | en_US |
| dc.subject | Full Lambek | en_US |
| dc.subject | Substructural logics | en_US |
| dc.title | Důkazy v přirozené dedukci a sekventovém kalkulu v substrukturální logice FL | cs_CZ |
| dc.type | bakalářská práce | cs_CZ |
| dcterms.created | 2011 | |
| dcterms.dateAccepted | 2011-02-10 | |
| dc.description.department | Department of Logic | en_US |
| dc.description.department | Katedra logiky | cs_CZ |
| dc.description.faculty | Faculty of Arts | en_US |
| dc.description.faculty | Filozofická fakulta | cs_CZ |
| dc.identifier.repId | 101280 | |
| dc.title.translated | Proofs in natural deduction and sequent system in substructural logic FL | en_US |
| dc.contributor.referee | Běhounek, Libor | |
| dc.identifier.aleph | 001289677 | |
| thesis.degree.name | Bc. | |
| thesis.degree.level | bakalářské | cs_CZ |
| thesis.degree.discipline | Logic | en_US |
| thesis.degree.discipline | Logika | cs_CZ |
| thesis.degree.program | Logic | en_US |
| thesis.degree.program | Logika | cs_CZ |
| uk.thesis.type | bakalářská práce | cs_CZ |
| uk.taxonomy.organization-cs | Filozofická fakulta::Katedra logiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Arts::Department of Logic | en_US |
| uk.faculty-name.cs | Filozofická fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Arts | en_US |
| uk.faculty-abbr.cs | FF | cs_CZ |
| uk.degree-discipline.cs | Logika | cs_CZ |
| uk.degree-discipline.en | Logic | en_US |
| uk.degree-program.cs | Logika | cs_CZ |
| uk.degree-program.en | Logic | en_US |
| thesis.grade.cs | Velmi dobře | cs_CZ |
| thesis.grade.en | Very good | en_US |
| uk.file-availability | V | |
| uk.publication.place | Praha | cs_CZ |
| uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
| dc.identifier.lisID | 990012896770106986 |
Files in this item
This item appears in the following Collection(s)
-
Kvalifikační práce [23980]
Theses