Výsledky vyhledávání
- 1.0501907 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502031900008X
Trvalý link: http://hdl.handle.net/11104/0293884Název souboru Staženo Velikost Komentář Verze Přístup 0501907-a.pdf 15 415.5 KB Vydavatelský postprint vyžádat 0501907-pre2.pdf 7 608.6 KB Autorský preprint povolen - 2.0461995 - ÚI 2017 ZA eng A - Abstrakt
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]
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * protoalgebraic logic * completeness theorems * logical matrices * consequence relation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261528Název souboru Staženo Velikost Komentář Verze Přístup a0461995.pdf 0 172 KB Vydavatelský postprint povolen - 3.0439938 - ÚI 2015 CZ eng I - Interní tisk
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
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical logic * mathematical fuzzy logic * truth degrees * vagueness * Lukasiewicz logic * MV-algebras * abstract algebraical logic * consequence relation * weakly implicative logics * semilinear logics * probability theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0243142 - 4.0435915 - ÚI 2016 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0239734Název souboru Staženo Velikost Komentář Verze Přístup a0435915.pdf 5 373.1 KB Vydavatelský postprint vyžádat 0435915.pdf 2 1 MB Autorský preprint vyžádat - 5.0431686 - ÚI 2015 AT eng A - Abstrakt
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]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236272Název souboru Staženo Velikost Komentář Verze Přístup a0431686.pdf 0 308 KB Vydavatelský postprint povolen - 6.0405491 - UIVT-O 330868 CZ eng A - Abstrakt
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]
Klíčová slova: fuzzy logic * weakly implication logic * consequence relation
Trvalý link: http://hdl.handle.net/11104/0125653 - 7.0405470 - UIVT-O 330845 CZ eng A - Abstrakt
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]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * predicate logic * consequence relation * matrix semantics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125633 - 8.0391877 - ÚI 2014 PT eng A - Abstrakt
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]
Institucionální podpora: RVO:67985807
Klíčová slova: consequence relation * local consequence * substructural logics * relace dusledku * lokální důsledek * substrukturální logiky
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0220851Název souboru Staženo Velikost Komentář Verze Přístup a0391877.pdf 0 467.4 KB Vydavatelský postprint povolen - 9.0313648 - ÚI 2009 RIV DE eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: logics with disjunction * consequence relation * proof by cases property * intersections of logics * weakly implicative logics * weakly implicative fuzzy logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0164397Název souboru Staženo Velikost Komentář Verze Přístup 0313648.pdf 11 677.5 KB Autorský preprint povolen - 10.0103427 - UIVT-O 20040168 IT eng A - Abstrakt
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]
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic * implicative logics * logical matrix * consequence relation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0010735