Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.0342136 - ÚI 2011 RIV DE eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.414, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0184955Název souboru Staženo Velikost Komentář Verze Přístup 0342136.pdf 19 1.1 MB Autorský preprint povolen - 5.0338886 - ÚI 2010 AT eng A - Abstrakt
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]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: implicational logics * abstract algebraic logic * disjunction * completeness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0182543