Search results
- 1.0477040 - ÚI 2019 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
OECD category: Pure mathematics; Pure mathematics (UTIA-B)
Impact factor: 0.574, year: 2018
Permanent Link: http://hdl.handle.net/11104/0273436File Download Size Commentary Version Access 0477040.pdf 9 1.2 MB GSp Author’s postprint open-access - 2.0395571 - ÚI 2014 RIV NL eng J - Journal Article
Cintula, Petr - Noguera, Carles
The Proof by Cases Property and its Variants in Structural Consequence Relations.
Studia Logica. Roč. 101, č. 4 (2013), s. 713-747. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA MŠMT(CZ) 1M0545
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional research plan: CEZ:AV0Z1030915
Institutional support: RVO:67985556
Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics
Subject RIV: BA - General Mathematics
Impact factor: 0.330, year: 2013
Permanent Link: http://hdl.handle.net/11104/0223575File Download Size Commentary Version Access 0395571.pdf 17 749.6 KB Author´s preprint open-access - 3.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