Národní úložiště šedé literatury Nalezeno 3 záznamů.  Hledání trvalo 0.00 vteřin. 
A general framework for logics of questions
Punčochář, Vít
This paper provides an overview of basic inquisitive semantics and its generalization proposed in (Punčochář, submitted). It is shown that the generalization allows to model questions over any of a large class of non-classical logics and so avoids paradoxes of material implication and irrelevance in the logic of questions. Moreover, it is advocated that the general framework does not lose any of the characteristic features of basic inquisitive semantics that are needed for modeling of questions.
Undecidability of Some Substructural Logics
Chvalovský, Karel ; Bílková, Marta (vedoucí práce) ; Buszkowski, Vojciech (oponent) ; Galatos, Nick (oponent)
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 můžeme studovat její množinu teorémů nebo její relaci důsledku, což je obecnější problém. Je známo, že oba tyto problémy mohou být nerozhod- nutelné již pro výrokové logiky a tato disertační práce poskytuje další pří- klady takových logik. Konkrétně se věnujeme výrokovým substrukturálním logikám, které lze získat ze sekventového kalkulu LJ pro intuicionistickou logiku odebráním strukturálních pravidel. Naše hlavní výsledky jsou násle- dující. Ukazujeme nerozhodnutelnost (konečné) relace důsledku pro některé základní neasociativní substrukturální logiky. Dále dokazujeme, že množina teorémů v základní substrukturální logice s pravidlem kontrakce, které ob- vykle způsobuje řadu komplikací, je nerozhodnutelná. Neboť studované logiky mají přirozené algebraické sémantiky, dostáváme také odpovídající algebraické výsledky, které jsou zajímavé samy o sobě.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.