Search results
- 1.0524930 - ÚI 2022 RIV CH eng B - Monography
Cintula, Petr - Noguera, Carles
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics.
Cham: Springer, 2021. 465 s. ISBN 978-3-030-85674-8
R&D Projects: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
OECD category: Pure mathematics; Applied mathematics (UTIA-B)
https://link.springer.com/book/9783030856748
Permanent Link: http://hdl.handle.net/11104/0309152File Download Size Commentary Version Access 0524930-errata3.pdf 16 207 KB Errata 9. 8. 2022 Other open-access - 2.0484922 - ÚTIA 2019 RIV NL eng J - Journal Article
Lávička, Tomáš - Noguera, Carles
Extension Properties and Subdirect Representation in Abstract Algebraic Logic.
Studia Logica. Roč. 106, č. 6 (2018), s. 1065-1095. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985556
Keywords : Abstract algebraic logic * Infinitary logics * Natural extensions * Natural expansions * Semilinear logics * Subdirect representation
OECD category: Pure mathematics
Impact factor: 0.467, year: 2018
http://library.utia.cas.cz/separaty/2018/MTR/lavicka-0484922.pdf
Permanent Link: http://hdl.handle.net/11104/0280148 - 3.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 - 4.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 - 5.0439938 - ÚI 2015 CZ eng I - Internal Report
Cintula, Petr
Mathematical Fuzzy Logic: From Theory to Application.
Praha: ČVUT, 2014. 20 s. Habilitační přednášky, 25. ISBN 978-80-01-05602-8
Institutional support: RVO:67985807
Keywords : mathematical logic * mathematical fuzzy logic * truth degrees * vagueness * Lukasiewicz logic * MV-algebras * abstract algebraical logic * consequence relation * weakly implicative logics * semilinear logics * probability theory
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0243142 - 6.0438525 - ÚI 2015 CZ eng D - Thesis
Cintula, Petr
A General Framework for Mathematical Fuzzy Logic.
Czech Technical University in Prague, Faculty of Nuclear Sciences and Physical Engineering. Defended: Prague. 20.11.2014. - Prague: Czech Technical University in Prague, 2014. 136 s. Habilitation Thesis, KH-110.
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * weakly implicative logics * mathematical fuzzy logic * non-classical logics * semilinear logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0241893File Download Size Commentary Version Access 0438525.pdf 31 1.2 MB Other open-access - 7.0432930 - ÚI 2015 RIV CH eng M - Monography Chapter
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The Quest for the Basic Fuzzy Logic.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 245-290. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
R&D Projects: GA ČR GAP202/10/1826; GA ČR GA13-14654S
EU Projects: European Commission(XE) 247584 - MATOMUVI
Grant - others:MICINN project TASSAT(XE) TIN2010-20967-C04-01
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0237239File Download Size Commentary Version Access 0432930.pdf 3 567.9 KB Author´s preprint require - 8.0422077 - ÚI 2014 ZA eng A - Abstract
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The quest for the basic fuzzy logic.
Proceedings of the International Workshop on Algebraic Logic in Computer Science. Stellenbosch: University of Stellenbosch, 2013. s. 1-4.
[International Workshop on Algebraic Logic in Computer Science. 14.12.2013, Stellenbosch]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : nonassociative full Lambek calculus * mathematical fuzzy logic * standard completeness * core semilinear logics
Subject RIV: BA - General Mathematics
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf
Permanent Link: http://hdl.handle.net/11104/0228293File Download Size Commentary Version Access 0422077.pdf 0 79 KB Other open-access - 9.0393990 - ÚI 2014 AT eng D - Thesis
Cintula, Petr
Universal Methods in Mathematical Fuzzy Logic.
Technische Universität Wien, Fakultät Für Informatik. Defended: Wien. 2013. - Wien: Technische Universität Wien, Fakultät Für Informatik, 2012. 259 s. Habilitationsschrift, KH-85.
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * weakly implicative logics * mathematical fuzzy logic * non-classical logics * semilinear logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0222322File Download Size Commentary Version Access 0393990.pdf 18 3.9 MB Other open-access - 10.0372981 - ÚI 2012 RIV GB eng M - Monography Chapter
Cintula, Petr - Noguera, C.
A General Framework for Mathematical Fuzzy Logic. Chapter 2.
Handbook of Mathematical Fuzzy Logic. Vol. 1. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 103-207. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
R&D Projects: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * weakly implicative logics * abstract algebraic logic * non-classical logics * semilinear logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0206164File Download Size Commentary Version Access 0372981.pdf 17 2.1 MB Publisher’s postprint require