Number of the records: 1
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
- 1.
SYSNO 0488936 Title Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic Author(s) Albuquerque, H. (ES)
Font, J.M. (ES)
Jansana, R. (ES)
Moraschini, Tommaso (UIVT-O) SAI, RIDSource Title Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. S. 53-79. - Cham : Springer, 2018 / Czelakowski J. ISBN 978-3-319-74771-2 Edition Outstanding Contributions to Logic Document Type Část monografie, knihy (kapitola) Institutional support UIVT-O - RVO:67985807 Language eng Country CH Keywords Abstract algebraic logic * Leibniz hierarchy * Frege hierarchy * truth-equational logics * assertional logics * Fregean logics * full generalized models * unital matrices URL https://link.springer.com/book/10.1007/978-3-319-74772-9 Permanent Link http://hdl.handle.net/11104/0283447 File Download Size Commentary Version Access a0488936.pdf 8 251.5 KB Author´s preprint require
Number of the records: 1