Search results
- 1.0469168 - ÚTIA 2017 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985556
Keywords : Löwenheim-Skolem theorems * first-order predicate logics * non-classical logics * algebraizable logics * model theory
Subject RIV: BA - General Mathematics
Impact factor: 0.575, year: 2016
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf
Permanent Link: http://hdl.handle.net/11104/0269405 - 2.0465843 - ÚI 2017 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807
Keywords : algebraizable logics * abstract algebraic logic * structural closure operators * semantic isomorphism theorem * evaluational frames * compositional lattice
Subject RIV: BA - General Mathematics
Impact factor: 0.647, year: 2016
Permanent Link: http://hdl.handle.net/11104/0264288 - 3.0457881 - ÚI 2016 CZ eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : substuctural logics * residuated lattices * algebraizable logics * abstract algebraic logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0258228File Download Size Commentary Version Access a0457881.pdf 1 1.5 MB Publisher’s postprint open-access a0457881 slides.pdf 1 4.3 MB Other open-access - 4.0428704 - ÚI 2015 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
Subject RIV: BA - General Mathematics
Impact factor: 0.510, year: 2015
Permanent Link: http://hdl.handle.net/11104/0234002File Download Size Commentary Version Access 0428704.pdf 55 992 KB Author´s preprint open-access a0428704.pdf 10 379.6 KB UTIA-UI-Hodnocení AV 2020 Publisher’s postprint require - 5.0391879 - ÚI 2014 PT eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * consequence relations * algebraizable logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0220853File Download Size Commentary Version Access a0391879.pdf 0 523.9 KB Publisher’s postprint open-access - 6.0369932 - ÚI 2012 PL eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstract algebraic logic * consequence relations * order-algebraizable logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0203877 - 7.0347328 - ÚI 2011 CZ eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : implicational logics * order algebraizable logics * abstract algebraic logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188130