Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.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 - 5.0380031 - ÚI 2013 PL eng A - Abstrakt
Cintula, Petr - Noguera, C.
Abstract Algebraic Logic: Theory and Applications.
ESSLI 2012. Opole University, 2012. s. 58-58.
[ESSLLI 2012. European Summer School in Logic, Language and Information /24./. 06.08.2012-17.08.2012, Opole]
Institucionální podpora: RVO:67985807
Klíčová slova: abstract Algebraic Logic * consequence relations * protoalgebraic logics * Leibniz hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0210857Název souboru Staženo Velikost Komentář Verze Přístup AAL-ESSLLI-1.pdf 8 273.6 KB Jiná povolen AAL-ESSLLI-2.pdf 1 240 KB Jiná povolen AAL-ESSLLI-3.pdf 0 1.9 MB Jiná povolen AAL-ESSLLI-4.pdf 0 281.6 KB Jiná povolen AAL-ESSLLI-5.pdf 0 301.5 KB Jiná povolen - 6.0342136 - ÚI 2011 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, C.
Implicational (Semilinear) Logics I: A New Hierarchy.
Archive for Mathematical Logic. Roč. 49, č. 4 (2010), s. 417-446. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.414, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0184955Název souboru Staženo Velikost Komentář Verze Přístup 0342136.pdf 19 1.1 MB Autorský preprint povolen - 7.0328031 - ÚI 2010 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, C.
An Abstract Approach to Fuzzy Logics: Implicational Semilinear Logics.
[Abstraktní přístup k fuzzy logikám: implikační semilineární logiky.]
IFSA - EUSFLAT 2009. Granada: EUSFLAT, 2009 - (Carvalho, J.; Dubois, D.; Kaymak, U.; Sousa, J.), s. 519-524. ISBN 978-989-95079-6-8.
[IFSA - EUSFLAT 2009. International Fuzzy Systems Association World Congress 2009, European Society for Fuzzy Logic and Technology Conference 2009. Lisabon (PT), 20.07.2009-24.07.2009]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstract algebraic logic * implicative logics * Leibniz hierarchy * mathematical fuzzy logic * semilinear logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174440Název souboru Staženo Velikost Komentář Verze Přístup 0328031.pdf 1 922.4 KB Autorský preprint povolen