• Algebraic and Kripke semantics of substructural logics 

      Arazim, Pavel (Univerzita Karlova, Filozofická fakulta, 2011)
      Date of defense: 22. 9. 2011
      Tato práce se zabývá distributivním Lambekovým kalkulem, tedy intuicionistickou logikou bez pravidel záměny, kontrakce a oslabení, a především dvěma různými sé- mantikami této logiky, totiž sémantikou algebraickou a ...
    • Důkazy v přirozené dedukci a sekventovém kalkulu v substrukturální logice FL 

      Dolejší, Zuzana (Univerzita Karlova, Filozofická fakulta, 2011)
      Date of defense: 10. 2. 2011
    • Dynamické epistemické logiky 

      Pivoňková, Martina (Univerzita Karlova, Filozofická fakulta, 2012)
      Date of defense: 19. 9. 2012
      V této práci se budeme zabývat logikou veřejného prohlášení, která je dynamickým rozšířením epistemické logiky. Nejprve vyložíme logiku pravdivého veřejného prohlášení pro multiagentní systém S5, a poté budeme zkoumat, jak ...
    • A Four-Valued Kripke Semantics for Classical and Intuitionistic Logic 

      Přenosil, Adam (Univerzita Karlova, Filozofická fakulta, 2013)
      Date of defense: 19. 9. 2013
      Práce zavádí logiku, která kombinuje intuicionistickou implikaci s de Morganovskou negací způsobem, který konzervativně rozšiřuje jak klasickou tak intuicionistickou logiku. Tato logika je intuicionistickým protějškem ...
    • Fragmenty intuicionistické logiky, intermediárích logik a substrukturálních logik (vybrané otázky). 

      Truhlář, Pavel (Univerzita Karlova, Filozofická fakulta, 2018)
      Date of defense: 6. 2. 2018
      diplomové práce Pozitivní formule v některých substrukturálních logikách, autor Pavel Truhlář V této diplomové práci budeme zkoumat, které distributivní substrukturální logiky, tak jak jsou definovány v Resstalově knize ...
    • Metoda sémantických stromů v neklasických logikách 

      Dančák, Michal (Univerzita Karlova, Filozofická fakulta, 2009)
      Date of defense: 17. 9. 2009
      Dalo by se ríct, že jako dukazová metoda jsou sémantické stromy v Cesku nepríliš používané, a to i presto, že ve svete je to nejoblíbenejší dukazový systém pro modální logiku [1]. Vedle základního Hilbertova kalkulu se v ...
    • Relace bisimulace 

      Arazim, Pavel (Univerzita Karlova, Filozofická fakulta, 2009)
      Date of defense: 29. 6. 2009
      Tato práce se zabývá relací bisimulace v modální logice a také v intuicionistické logice bez kontrakce. Bisimulace je relace mezi sémantickými modely, která je slabí neo isomor smus, ale přitom pořád zaruuje ekvivalenci v ...
    • Undecidability of Some Substructural Logics 

      Chvalovský, Karel (Univerzita Karlova, Filozofická fakulta, 2015)
      Date of defense: 10. 6. 2015
      Tato disertační práce se zabývá algoritmickou nerozhodnutelností (neřešitel- ností) dokazatelnosti v některých neklasických logikách. Ve skutečnosti existují dvě přirozené varianty toho problému. Mějme dánu logiku, pak ...
    • Usuzování s nekonzistentními informacemi 

      Přenosil, Adam (Univerzita Karlova, Filozofická fakulta, 2018)
      Date of defense: 27. 6. 2018
      Tato dizertační práce studuje extenze čtyřhodnotové Belnapovy-Dunnovy logiky, tzv. superbelnapovské logiky, z pohledu abstraktní algebraické logiky. Popisujeme v ní globální strukturu svazu superbelnapovských logik a ukazu- ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV