Výsledky vyhledávání
- 1.0542368 - ÚI 2024 RIV GB eng J - Článek v odborném periodiku
Přenosil, Adam
The Lattice of Super-Belnap Logics.
Review of Symbolic Logic. Roč. 16, č. 1 (2023), s. 114-163. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Belnap-Dunn logic * Kleene logic * Logic of Paradox * four-valued logic * paraconsistent logic * abstract algebraic logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020321000204
Trvalý link: http://hdl.handle.net/11104/0319795 - 2.0531245 - ÚI 2021 RIV DE eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Singly Generated Quasivarieties and Residuated Structures.
Mathematical Logic Quarterly. Roč. 66, č. 2 (2020), s. 150-172. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: joint embedding property * passive structural completeness * relevance principle * abstract algebraic logic * relevance logic
Obor OECD: Pure mathematics
Impakt faktor: 0.240, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1002/malq.201900012
Trvalý link: http://hdl.handle.net/11104/0309943 - 3.0524930 - ÚI 2022 RIV CH eng B - Monografie kniha jako celek
Cintula, Petr - Noguera, Carles
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics.
Cham: Springer, 2021. 465 s. ISBN 978-3-030-85674-8
Grant CEP: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
Obor OECD: Pure mathematics; Applied mathematics (UTIA-B)
https://link.springer.com/book/9783030856748
Trvalý link: http://hdl.handle.net/11104/0309152Název souboru Staženo Velikost Komentář Verze Přístup 0524930-errata3.pdf 16 207 KB Errata 9. 8. 2022 Jiná povolen - 4.0506928 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Galatos, N. - Gil-Férez, José
Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and pi-institutions.
Journal of Pure and Applied Algebra. Roč. 221, č. 1 (2017), s. 1-24. ISSN 0022-4049. E-ISSN 1873-1376
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * isomorphism of logics * pi-institutions * algebra
Obor OECD: Pure mathematics
Impakt faktor: 0.720, rok: 2017
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.jpaa.2016.05.012
Trvalý link: http://hdl.handle.net/11104/0298058 - 5.0504824 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
Moraschini, Tommaso
Varieties of positive modal algebras and structural completeness.
Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GF15-34650L; GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
Obor OECD: Pure mathematics
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020319000236
Trvalý link: http://hdl.handle.net/11104/0296383 - 6.0503852 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso
On the complexity of the Leibniz hierarchy.
Annals of Pure and Applied Logic. Roč. 170, č. 7 (2019), s. 805-824. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GBP202/12/G061; GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: Abstract algebraic logic * Leibniz hierarchy * Algebraizable logic * Protoalgebraic logic * Complexity theory
Obor OECD: Pure mathematics
Impakt faktor: 0.752, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.apal.2019.02.003
Trvalý link: http://hdl.handle.net/11104/0295627Název souboru Staženo Velikost Komentář Verze Přístup a0503852.pdf 9 450.9 KB Vydavatelský postprint vyžádat - 7.0501907 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
Cintula, Petr - Gil-Férez, J. - Moraschini, Tommaso - Paoli, F.
An Abstract Approach to Consequence Relations.
Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 331-371. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502031900008X
Trvalý link: http://hdl.handle.net/11104/0293884Název souboru Staženo Velikost Komentář Verze Přístup 0501907-a.pdf 15 415.5 KB Vydavatelský postprint vyžádat 0501907-pre2.pdf 7 608.6 KB Autorský preprint povolen - 8.0491283 - ÚI 2019 RIV GB eng J - Článek v odborném periodiku
Moraschini, Tommaso
A Study of Truth Predicates in Matrix Semantics.
Review of Symbolic Logic. Roč. 11, č. 4 (2018), s. 780-804. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * truth predicate * equational definability * truth-equational logic * protoalgebraic logic * Leibniz hierarchy * Leibniz operator * implicit definability * matrix semantics * algebraic semantics * propositional logic * protodisjunction * protoconjunction
Obor OECD: Pure mathematics
Impakt faktor: 0.731, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0285293 - 9.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 - 10.0484922 - ÚTIA 2019 RIV NL eng J - Článek v odborném periodiku
Lávička, Tomáš - Noguera, Carles
Extension Properties and Subdirect Representation in Abstract Algebraic Logic.
Studia Logica. Roč. 106, č. 6 (2018), s. 1065-1095. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: Abstract algebraic logic * Infinitary logics * Natural extensions * Natural expansions * Semilinear logics * Subdirect representation
Obor OECD: Pure mathematics
Impakt faktor: 0.467, rok: 2018
http://library.utia.cas.cz/separaty/2018/MTR/lavicka-0484922.pdf
Trvalý link: http://hdl.handle.net/11104/0280148