Počet záznamů: 1  

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

  1. 1.
    0488936 - ÚI 2019 RIV CH eng M - Část monografie knihy
    Albuquerque, H. - Font, J.M. - Jansana, R. - Moraschini, Tommaso
    Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic.
    Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Cham: Springer, 2018 - (Czelakowski, J.), s. 53-79. Outstanding Contributions to Logic, 16. ISBN 978-3-319-74771-2
    Institucionální podpora: RVO:67985807
    Klíčová slova: Abstract algebraic logic * Leibniz hierarchy * Frege hierarchy * truth-equational logics * assertional logics * Fregean logics * full generalized models * unital matrices
    Obor OECD: Pure mathematics
    https://link.springer.com/book/10.1007/978-3-319-74772-9

    We establish some relations between the class of truth-equational logics, the class of assertional logics, other classes in the Leibniz hierarchy, and the classes in the Frege hierarchy. We argue that the class of assertional logics belongs properly in the Leibniz hierarchy. We give two new characterizations of truth-equational logics in terms of their full generalized models, and use them to obtain further results on the internal structure of the Frege hierarchy and on the relations between the two hierarchies. Some of these results and several counter examples contribute to answer a few open problems in abstract algebraic logic, and open a new one.
    Trvalý link: http://hdl.handle.net/11104/0283447

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0488936.pdf8251.5 KBAutorský preprintvyžádat
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.