Výsledky vyhledávání
- 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
Trvalý link: http://hdl.handle.net/11104/0283447Název souboru Staženo Velikost Komentář Verze Přístup a0488936.pdf 8 251.5 KB Autorský preprint vyžádat - 2.0477047 - ÚI 2019 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso
A Computational Glimpse at the Leibniz and Frege Hierarchies.
Annals of Pure and Applied Logic. Roč. 169, č. 1 (2018), s. 1-20. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * Leibniz hierarchy * Frege hierarchy Leibniz congruence * decidability * Diophantine equations * relation algebras
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.829, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0273441Název souboru Staženo Velikost Komentář Verze Přístup a0477047.pdf 10 463.1 KB Vydavatelský postprint vyžádat