Počet záznamů: 1
Understanding infinitary logics via their symmetrizations
- 1.0508282 - ÚI 2020 US eng A - Abstrakt
Bílková, Marta - Cintula, Petr
Understanding infinitary logics via their symmetrizations.
SYSMICS 2018. Duality in Algebra and Logic. Abstracts. Orange: Chapman University, 2018. s. 1-1.
[SYSMICS 2018. Workshop on Duality in Algebra and Logic /4./. 14.09.2018-17.09.2018, Orange]
Institucionální podpora: RVO:67985807
http://math.chapman.edu/~jipsen/sysmics/SYSMICS4abstracts.pdf
Considering a logic I- cast as a Tarskian consequence relation between sets of formulas and formulas, there are several ways how to construct its symmetric version II- with a disjuncture flavour on the right-hand side. The
situation becomes even more complex if the logic in question is infinitary. Dunn and Hardegree showed that the proper Cut rule for such symmetric logic is equivalent to Pair Extension Property which plays a crucial rule in the completeness proofs for many modal logics.
Trvalý link: http://hdl.handle.net/11104/0299237
Název souboru Staženo Velikost Komentář Verze Přístup 0508282-aw.pdf 2 72.2 KB volně online Vydavatelský postprint povolen
Počet záznamů: 1