Název: Fragmenty intuicionistické logiky, intermediárích logik a substrukturálních logik (vybrané otázky).
Překlad názvu: Fragments of intuitionistic logic, intermediate logics and substructural logics (selected problems).
Autoři: Truhlář, Pavel ; Bílková, Marta (vedoucí práce) ; Sedlár, Igor (oponent)
Typ dokumentu: Diplomové práce
Rok: 2018
Jazyk: cze
Abstrakt: [cze] [eng]

Klíčová slova: substrukturální logiky|rámce|pozitivní formule|top model|slabý zákon vyloučeného třetího; substructural logics|frames|positive formulas|top model|weak excluded middle axiom

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/95367

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


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 > Diplomové práce
 Záznam vytvořen dne 2018-03-16, naposledy upraven 2022-03-04.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet