Search results
- 1.0503852 - ÚI 2020 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : Abstract algebraic logic * Leibniz hierarchy * Algebraizable logic * Protoalgebraic logic * Complexity theory
OECD category: Pure mathematics
Impact factor: 0.752, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.apal.2019.02.003
Permanent Link: http://hdl.handle.net/11104/0295627File Download Size Commentary Version Access a0503852.pdf 9 450.9 KB Publisher’s postprint require - 2.0491283 - ÚI 2019 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : 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
OECD category: Pure mathematics
Impact factor: 0.731, year: 2018
Permanent Link: http://hdl.handle.net/11104/0285293 - 3.0488936 - ÚI 2019 RIV CH eng M - Monography Chapter
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
Institutional support: RVO:67985807
Keywords : Abstract algebraic logic * Leibniz hierarchy * Frege hierarchy * truth-equational logics * assertional logics * Fregean logics * full generalized models * unital matrices
OECD category: Pure mathematics
https://link.springer.com/book/10.1007/978-3-319-74772-9
Permanent Link: http://hdl.handle.net/11104/0283447File Download Size Commentary Version Access a0488936.pdf 8 251.5 KB Author´s preprint require - 4.0477047 - ÚI 2019 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * Leibniz hierarchy * Frege hierarchy Leibniz congruence * decidability * Diophantine equations * relation algebras
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.829, year: 2018
Permanent Link: http://hdl.handle.net/11104/0273441File Download Size Commentary Version Access a0477047.pdf 10 463.1 KB Publisher’s postprint require - 5.0380031 - ÚI 2013 PL eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : abstract Algebraic Logic * consequence relations * protoalgebraic logics * Leibniz hierarchy
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0210857File Download Size Commentary Version Access AAL-ESSLLI-1.pdf 8 273.6 KB Other open-access AAL-ESSLLI-2.pdf 1 240 KB Other open-access AAL-ESSLLI-3.pdf 0 1.9 MB Other open-access AAL-ESSLLI-4.pdf 0 281.6 KB Other open-access AAL-ESSLLI-5.pdf 0 301.5 KB Other open-access - 6.0342136 - ÚI 2011 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics
Subject RIV: BA - General Mathematics
Impact factor: 0.414, year: 2010
Permanent Link: http://hdl.handle.net/11104/0184955File Download Size Commentary Version Access 0342136.pdf 19 1.1 MB Author´s preprint open-access - 7.0328031 - ÚI 2010 RIV ES eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstract algebraic logic * implicative logics * Leibniz hierarchy * mathematical fuzzy logic * semilinear logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174440File Download Size Commentary Version Access 0328031.pdf 1 922.4 KB Author´s preprint open-access