Search results
- 1.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 - 2.0405335 - UIVT-O 330707 SK eng A - Abstract
Cintula, Petr - Horčík, Rostislav
Logics between Lukasiewicz and LPi.
International Conference in Applied Mathematics for Undergraduate and Graduate Students. Bratislava: Slovak University of Technology, 2003. s. 7-8.
[ISCAM 2003. 11.04.2003-12.04.2003, Bratislava]
R&D Projects: GA ČR GA201/02/1540
Grant - others:GA CTU(CZ) CTU0208613; Net CEEPUS(CZ) SK-042
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lu logic * LPi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125508 - 3.0405128 - UIVT-O 20030093 CZ eng K - Conference Paper (Czech conference)
Cintula, Petr - Horčík, Rostislav
Product Lukasiewicz Logic - An Overwiev.
Doktorandský den '03. Praha: MATFYZPRESS, 2003 - (Hakl, F.), s. 21-23. ISBN 80-86732-16-9.
[Doktorandský den '03. Paseky nad Jizerou (CZ), 25.09.2003-26.09.2003]
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125330File Download Size Commentary Version Access 0405128.pdf 1 519.4 KB Publisher’s postprint open-access - 4.0405076 - UIVT-O 330181 RIV DE eng J - Journal Article
Cintula, Petr
A Note to the Definition of the LPi-Algebras.
[Poznámka k definici LPi-algeber.]
Soft Computing. Roč. 9, - (2005), s. 575-578. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR GD401/03/H047
Institutional research plan: CEZ:AV0Z10300504
Keywords : LPi-algebras * MV-algebras * Pi-algebras * PMV-algebras
Subject RIV: BA - General Mathematics
Impact factor: 0.538, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125291File Download Size Commentary Version Access 0405076.pdf 1 753 KB Author´s preprint open-access - 5.0405046 - UIVT-O 20030187 RIV DE eng C - Conference Paper (international conference)
Horčík, R. - Cintula, Petr
Extension of Lukasiewicz Logic by Product Connective.
Fuzzy Sets and Systems - IFSA 2003. Berlin: SpringerVerlag, 2003 - (Bilgic, T.; De Baets, B.; Kaynak, O.), s. 180-188. Lecture Notes in Artificial Intelligence, 2715. ISBN 3-540-40383-3. ISSN 0302-9743.
[IFSA 2003. International Fuzzy Systems Association World Congress /10./. Istanbul (TR), 30.06.2003-02.07.2003]
R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant - others:GA CTU(CZ) project 0208613; Net CEEPKUS(XX) SK-042
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125266File Download Size Commentary Version Access 0405046.pdf 0 769.1 KB Author´s preprint open-access - 6.0310569 - ÚI 2009 RIV GB eng J - Journal Article
Cintula, Petr - Hájek, Petr
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic.
[Problémy složitosti v axiomatických rozšířeních Lukasiewiczovy logiky.]
Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 245-260. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA MŠMT(CZ) 1M0545; GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : Lukasiewicz logic * computational complexity * Komori algebras * MV-algebras
Subject RIV: BA - General Mathematics
Impact factor: 0.789, year: 2009
Permanent Link: http://hdl.handle.net/11104/0162395File Download Size Commentary Version Access 0310569.pdf 5 732 KB Author’s postprint open-access - 7.0105219 - UIVT-O 20040210 RIV DE eng J - Journal Article
Horčík, Rostislav - Cintula, Petr
Product Lukasiewicz Logic.
[Produkt-Lukasiewiczova logika.]
Archive for Mathematical Logic. Roč. 43, - (2004), s. 477-503. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant - others:GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2003
Permanent Link: http://hdl.handle.net/11104/0012466File Download Size Commentary Version Access 0105219.pdf 9 603.7 KB Author´s preprint open-access