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

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
Trvalý link: http://hdl.handle.net/11104/0283447