Výsledky vyhledávání
- 1.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 - 2.0477040 - ÚI 2019 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Implicational (semilinear) logics III: completeness properties.
Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
Impakt faktor: 0.574, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0273436Název souboru Staženo Velikost Komentář Verze Přístup 0477040.pdf 9 1.2 MB GSp Autorský postprint povolen - 3.0469168 - ÚTIA 2017 RIV GB eng J - Článek v odborném periodiku
Dellunde, P. - García-Cerdaña, A. - Noguera, Carles
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics.
Logic Journal of the IGPL. Roč. 24, č. 3 (2016), s. 321-345. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985556
Klíčová slova: Löwenheim-Skolem theorems * first-order predicate logics * non-classical logics * algebraizable logics * model theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.575, rok: 2016
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf
Trvalý link: http://hdl.handle.net/11104/0269405 - 4.0469118 - ÚTIA 2018 RIV NL eng J - Článek v odborném periodiku
Lávička, Tomáš - Noguera, Carles
A new hierarchy of infinitary logics in abstract algebraic logic.
Studia Logica. Roč. 105, č. 3 (2017), s. 521-551. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985556 ; RVO:67985807
Klíčová slova: Abstract algebraic logic * consequence relations * infinitary logics * completeness properties
Obor OECD: Pure mathematics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O)
Impakt faktor: 0.450, rok: 2017
http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf
Trvalý link: http://hdl.handle.net/11104/0269760 - 5.0466816 - ÚI 2022 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Paoli, F.
Is multiset consequence trivial?
Synthese. Roč. 199, Suppl. 3 (2021), s. 741-765. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: contraction-free logics * multiset consequence * substructural logics * multiple conclusions
Obor OECD: Pure mathematics
Impakt faktor: 1.595, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11229-016-1209-7
Trvalý link: http://hdl.handle.net/11104/0265069Název souboru Staženo Velikost Komentář Verze Přístup 0466816.pdf 23 877.6 KB GSp Autorský preprint povolen - 6.0465843 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso
The Semantic Isomorphism Theorem in Abstract Algebraic Logic.
Annals of Pure and Applied Logic. Roč. 167, č. 12 (2016), s. 1298-1331. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: algebraizable logics * abstract algebraic logic * structural closure operators * semantic isomorphism theorem * evaluational frames * compositional lattice
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.647, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0264288 - 7.0459809 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Přenosil, Adam
Constructing Natural Extensions of Propositional Logics.
Studia Logica. Roč. 104, č. 6 (2016), s. 1179-1190. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * consequence relations * propositional logic * natural extensions * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.589, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0259968 - 8.0448459 - ÚI 2017 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity.
Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.394, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0250156Název souboru Staženo Velikost Komentář Verze Přístup 0448459.pdf 5 888.6 KB Autorský preprint vyžádat - 9.0436388 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
A Note on Natural Extensions in Abstract Algebraic Logic.
Studia Logica. Roč. 103, č. 4 (2015), s. 815-823. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR(CZ) GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * consequence relations * natural extensions * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.724, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0240134Název souboru Staženo Velikost Komentář Verze Přístup 0436388.pdf 19 817.6 KB Autorský preprint vyžádat - 10.0428704 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.
Journal of Symbolic Logic. Roč. 80, č. 1 (2015), s. 341-358. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0234002Název souboru Staženo Velikost Komentář Verze Přístup 0428704.pdf 55 992 KB Autorský preprint povolen a0428704.pdf 10 379.6 KB UTIA-UI-Hodnocení AV 2020 Vydavatelský postprint vyžádat