Výsledky vyhledávání
- 1.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 - 2.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 - 3.0457881 - ÚI 2016 CZ eng A - Abstrakt
Cintula, Petr
Substructural Logics: A logical Glimpse at Residuated Lattices.
AAAA91. 91st Workshop on General Algebra. Brno: MU Brno, 2016. s. 2-2.
[Workshop on General Algebra /91./. 05.02.2016-07.02.2016, Brno]
Institucionální podpora: RVO:67985807
Klíčová slova: substuctural logics * residuated lattices * algebraizable logics * abstract algebraic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0258228Název souboru Staženo Velikost Komentář Verze Přístup a0457881.pdf 1 1.5 MB Vydavatelský postprint povolen a0457881 slides.pdf 1 4.3 MB Jiná povolen - 4.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 - 5.0391879 - ÚI 2014 PT eng A - Abstrakt
Cintula, Petr - Noguera, Carles
A note on the hierarchy of algebraizable logics.
UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 356-357
[UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * consequence relations * algebraizable logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0220853Název souboru Staženo Velikost Komentář Verze Přístup a0391879.pdf 0 523.9 KB Vydavatelský postprint povolen - 6.0369932 - ÚI 2012 PL eng A - Abstrakt
Noguera, C. - Cintula, Petr
The hierarchy of implicational and order algebraizable logics.
OAL 2011 Abstracts of Talks. Kraków, 2011. s. 21-22.
[OAL 2011. International Conference on Order, Algebra and Logics /2./. 06.06.2011-10.06.2011, Kraków]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstract algebraic logic * consequence relations * order-algebraizable logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0203877 - 7.0347328 - ÚI 2011 CZ eng A - Abstrakt
Cintula, Petr - Noguera, C.
Implicational Logics vs. Order Algebraizable Logics.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 72-73
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: implicational logics * order algebraizable logics * abstract algebraic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188130