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.0448459 - ÚI 2017 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
Subject RIV: BA - General Mathematics
Impact factor: 0.394, year: 2016
Permanent Link: http://hdl.handle.net/11104/0250156File Download Size Commentary Version Access 0448459.pdf 5 888.6 KB Author´s preprint require - 3.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 - 4.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 - 5.0338886 - ÚI 2010 AT eng A - Abstract
Cintula, Petr - Noguera, C.
Logics with a (Lattice) Disjunction and their \Completeness Properties.
Lattice-Valued Logic and its Applications. Linz: Johannes Kepler Universität, 2010 - (Cintula, P.; Klement, E.; Stout, L.). s. 26-30
[Linz Seminar on Fuzzy Set Theory /31./. 03.02.2010-07.02.2010, Linz]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : implicational logics * abstract algebraic logic * disjunction * completeness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0182543