Search results
- 1.0501907 - ÚI 2020 RIV GB eng J - Journal Article
Cintula, Petr - Gil-Férez, J. - Moraschini, Tommaso - Paoli, F.
An Abstract Approach to Consequence Relations.
Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 331-371. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502031900008X
Permanent Link: http://hdl.handle.net/11104/0293884File Download Size Commentary Version Access 0501907-a.pdf 15 415.5 KB Publisher’s postprint require 0501907-pre2.pdf 7 608.6 KB Author´s preprint open-access - 2.0461995 - ÚI 2017 ZA eng A - Abstract
Cintula, Petr - Noguera, Carles
Completeness Properties in Protoalgebraic Logics.
LATD 2016 Book of Abstracts. Johannesburg: WITS University, 2016. s. 56-58.
[LATD 2016. Logic, Algebra and Truth Degrees. 28.06.2016-30.06.2016, Phalaborwa]
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logic * protoalgebraic logic * completeness theorems * logical matrices * consequence relation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261528File Download Size Commentary Version Access a0461995.pdf 0 172 KB Publisher’s postprint open-access - 3.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 - 4.0435915 - ÚI 2016 RIV US eng J - Journal Article
Chvalovský, Karel
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Subject RIV: BA - General Mathematics
Impact factor: 0.510, year: 2015
Permanent Link: http://hdl.handle.net/11104/0239734File Download Size Commentary Version Access a0435915.pdf 5 373.1 KB Publisher’s postprint require 0435915.pdf 2 1 MB Author´s preprint require - 5.0431686 - ÚI 2015 AT eng A - Abstract
Chvalovský, Karel
Undecidability of consequence relation in Full Non-associative Lambek Calculus.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 153-154
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236272File Download Size Commentary Version Access a0431686.pdf 0 308 KB Publisher’s postprint open-access - 6.0405491 - UIVT-O 330868 CZ eng A - Abstract
Běhounek, Libor - Cintula, Petr
A Formal Delimitation of Fuzzy Logics in the Logical Landscape.
Logica 2005. Prague: Filosofia, 2005.
[Logica 2005. 20.06.2005-24.06.2005, Hejnice]
Keywords : fuzzy logic * weakly implication logic * consequence relation
Permanent Link: http://hdl.handle.net/11104/0125653 - 7.0405470 - UIVT-O 330845 CZ eng A - Abstract
Cintula, Petr
Weak Predicate Fuzzy Logics.
First Czech-Catalan Conference in Mathematics. Prague: ITI Charles University, 2005 - (Chudlarský, T.). s. 34
[Czech-Catalan Conference in Mathematics /1./. 27.05.2005-28.05.2005, Prague]
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * predicate logic * consequence relation * matrix semantics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125633 - 8.0391877 - ÚI 2014 PT eng A - Abstract
Běhounek, Libor - Cintula, Petr
Multiset consequence relations for substructural logics.
UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 272-272
[UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
Institutional support: RVO:67985807
Keywords : consequence relation * local consequence * substructural logics * relace dusledku * lokální důsledek * substrukturální logiky
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0220851File Download Size Commentary Version Access a0391877.pdf 0 467.4 KB Publisher’s postprint open-access - 9.0313648 - ÚI 2009 RIV DE eng J - Journal Article
Wang, S.M. - Cintula, Petr
Logics with Disjunction and Proof by Cases.
[Logiky s disjunkcí a důkaz po případech.]
Archive for Mathematical Logic. Roč. 47, č. 5 (2008), s. 435-446. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : logics with disjunction * consequence relation * proof by cases property * intersections of logics * weakly implicative logics * weakly implicative fuzzy logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0164397File Download Size Commentary Version Access 0313648.pdf 11 677.5 KB Author´s preprint open-access - 10.0103427 - UIVT-O 20040168 IT eng A - Abstract
Cintula, Petr
Towards Universal Fuzzy Logic.
Logic Colloquium 2004. Turin: University of Torino, 2004. s. 63.
[ASL European Summer Meeting. 25.07.2004-31.07.2004, Turin]
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy logic * implicative logics * logical matrix * consequence relation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0010735