Cintula Petr

Publikace ASEP

RIV ID 1922688               

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 18

0428412 - UIVT-O 2015 RIV NL eng J - Článek v odborném periodiku
Běhounek, Libor - Bodenhofer, U. - Cintula, Petr - Saminger-Platz, S. - Sarkoci, P.
Graded Dominance and Related Graded Properties of Fuzzy Connectives.
Fuzzy Sets and Systems. Roč. 262, 1 March (2015), s. 78-101. ISSN 0165-0114
Grant CEP: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826
WWTF(AT) MA07-016; VEGA(SK) 2/0059/12; APVV(SK) 0073-10; Program Kontakt / WTZ(CZ-AT) 6-07-17/2-2007
Výzkumný záměr: CEZ:AV0Z10300504
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy connective * fuzzy relation * dominance * fuzzy class theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.098, rok: 2015
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0233778

Citace, recenze

Citace:
DURANTE, F. - OMLADIC, M. - ORAZEM, L. - RUZIC, N. Shock models with dependence and asymmetric linkages. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, SEP 15 2017, vol. 323, p. 152-168.
BENTKOWSKA, U. - KROL, A. Preservation of fuzzy relation properties based on fuzzy conjunctions and disjunctions during aggregation process. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, MAY 15 2016, vol. 291, SI, p. 98-113.
DURANTE, F. - PERRONE, E. Asymmetric Copulas and Their Application in Design of Experiments. ON LOGICAL, ALGEBRAIC, AND PROBABILISTIC ASPECTS OF FUZZY SET THEORY. ISSN 1434-9922, 2016, vol. 336, p. 157-172.
GODO, L. - GOTTWALD, S. Fuzzy sets and formal logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 15 2015, vol. 281, SI, p. 44-60.
DE BAETS, B. - DE LOOF, K. - DE MEYER, H. A frequentist view on cycle-transitivity of reciprocal relations. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 15 2015, vol. 281, SI, p. 198-218.

0456358 - UIVT-O 2017 RIV GB eng J - Článek v odborném periodiku
Běhounek, Libor - Cintula, Petr - Fermüller, C. - Kroupa, Tomáš
Representing Strategic Games and Their Equilibria in Many-Valued Logics.
Logic Journal of the IGPL. Roč. 24, č. 3 (2016), s. 238-267. ISSN 1367-0751
Grant CEP: GA ČR GAP402/12/1309; GA MŠk 7AMB13AT014; GA ČR(CZ) GF15-34650L
Austrian Science Fund(AT) P25417-G15; Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: strategic games * many-valued logics * Nash equilibria * Lukasiewicz games
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.575, rok: 2016
Trvalý odkaz: http://hdl.handle.net/11104/0256881

0491981 - UIVT-O 2019 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Cintula, Petr - Lávička, Tomáš
Lindenbaum and Pair Extension Lemma in Infinitary Logics.
Logic, Language, Information and Computation. Berlin: Springer, 2018 - (Moss, L.; de Queiroz, R.; Martinez, M.), s. 130-144. Lecture Notes on Computer Science, 10944. ISBN 978-3-662-57668-7. ISSN 0302-9743.
[WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./. Bogotá (CO), 24.07.2018-27.07.2018]
Grant CEP: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
AV ČR(CZ) JSPS-16-08
Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0285566

0428704 - UIVT-O 2015 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.
Journal of Symbolic Logic. Roč. 80, č. 1 (2015), s. 341-358. ISSN 0022-4812
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 logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý odkaz: http://hdl.handle.net/11104/0234002

0477854 - UIVT-O 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles - Smith, N.J.J.
A Logical Framework for Graded Predicates.
Logic, Rationality, and Interaction. Berlin: Springer, 2017 - (Baltag, A.; Yamada, T.; Seligman, J.), s. 3-16. Lecture Notes in Computer Science, 10455. ISBN 978-3-662-55664-1. ISSN 0302-9743.
[LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./. Sapporo (JP), 11.09.2017-14.09.2017]
Grant CEP: GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: graded predicates * vagueness * mathematical fuzzy logic
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0274074

0436177 - UIVT-O 2016 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr
A Note on Axiomatizations of Pavelka-style Complete Fuzzy Logics.
Fuzzy Sets and Systems. Roč. 292, 1 June (2016), s. 160-174. ISSN 0165-0114
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * Pavelka-style completeness * MTL logic * Lukasiewicz logics * Product Logic * truth constants * Monteiro–Baaz delta
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 2.718, rok: 2016
Trvalý odkaz: http://hdl.handle.net/11104/0239961

Citace, recenze

Citace:
VIDAL, A. - BOU, F. - ESTEVA, F. - GODO, L. On strong standard completeness in some MTL expansions. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, SI, p. 125-147.
GHARI, M. Pavelka-style fuzzy justification logics. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, OCT 2016, vol. 24, no. 5, p. 743-773.
VIDAL, A. - ESTEVA, F. - GODO, L. On modal extensions of Product fuzzy logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, FEB 2017, vol. 27, no. 1, p. 299-336.

0436388 - UIVT-O 2016 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
A Note on Natural Extensions in Abstract Algebraic Logic.
Studia Logica. Roč. 103, č. 4 (2015), s. 815-823. ISSN 0039-3215
Grant CEP: GA ČR(CZ) GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * consequence relations * natural extensions * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.724, rok: 2015
Noguera, Carles
Trvalý odkaz: http://hdl.handle.net/11104/0240134

Citace, recenze

Citace:
PRENOSIL, A. Constructing Natural Extensions of Propositional Logics. STUDIA LOGICA. ISSN 0039-3215, DEC 2016, vol. 104, no. 6, p. 1179-1190.

0459352 - UIVT-O 2017 GB eng J - Článek v odborném periodiku
Cintula, Petr - Iemhoff, R. - Ju, S.
Editorial: Special Issue on Non-Classical Modal and Predicate Logics.
Logic Journal of the IGPL. Roč. 22, 3 Special Issue (2014), s. 411-412. ISSN 1367-0751.
[NCMPL 2011. Non-Classical Modal and Predicate Logics. Guangzhou, 05.12.2011-09.12.2011]
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.461, rok: 2014
Trvalý odkaz: http://hdl.handle.net/11104/0259568

0460686 - UIVT-O 2017 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles - Roger, J.
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Vol. 2. Cham: Springer, 2016 - (Carvalho, J.; Lesot, M.; Kaymak, U.; Vieira, S.; Bouchon-Meunier, B.; Yager, R.), s. 95-107. Communications in Computer and Information Science, 611. ISBN 978-3-319-40581-0. ISSN 1865-0929.
[IPMU 2016 /16./. Eindhoven (NL), 20.06.2016-24.06.2016]
Grant CEP: GA ČR(CZ) GF15-34650L
Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Kód oboru RIV: BA - Obecná matematika
Roger, J.
Trvalý odkaz: http://hdl.handle.net/11104/0260702

Citace, recenze

Citace:
ESTEVA, F. - GODO, L. - RODRIGUEZ, R.O. On the relation between modal and multi-modal logics over Lukasiewicz logic. 2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE). ISSN 1098-7584, 2017.
VIDAL, A. - ESTEVA, F. - GODO, L. On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences. ADVANCES IN FUZZY LOGIC AND TECHNOLOGY 2017, VOL 3. ISSN 2194-5357, 2018, vol. 643, p. 505-517.

0456390 - UIVT-O 2016 RIV GB eng B - Monografie kniha jako celek
Cintula, Petr (ed.) - Fermüller, C. (ed.) - Noguera, Carles (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 3.
London: College Publications, 2015. 384 s. Studies in Logic - Mathematical Logic and Foundations, 58. ISBN 978-1-84890-193-3
Grant CEP: GA ČR(CZ) GF15-34650L
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * handbook * non-classical logic * mathematical logic * vagueness
Kód oboru RIV: BA - Obecná matematika
http://aleph.lib.cas.cz/F/?func=direct&doc_number=002008216&local_base=AV
Trvalý odkaz: http://hdl.handle.net/11104/0256924

Citace, recenze

Citace:
DE MOURA, J.P. - NETO, J.V.D. Fuzzy Controller in the Cargo Cortrol Wagons Dump. PROCEEDINGS OF THE 2016 IEEE CONFERENCE ON EVOLVING AND ADAPTIVE INTELLIGENT SYSTEMS (EAIS). ISSN 2330-4863, 2016, p. 10-16.
MA, L.V. - PARK, J. - NAM, J. - RYU, H. - KIM, J. A Fuzzy-Based Adaptive Streaming Algorithm for Reducing Entropy Rate of DASH Bitrate Fluctuation to Improve Mobile Quality of Service. ENTROPY. ISSN 1099-4300, SEP 2017, vol. 19, no. 9.

0448459 - UIVT-O 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
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
Noguera, Carles
Trvalý odkaz: http://hdl.handle.net/11104/0250156

0477040 - UIVT-O 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
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
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
Impakt faktor: 0.519, rok: 2017
Noguera, Carles
Trvalý odkaz: http://hdl.handle.net/11104/0273436

Citace, recenze

Citace:
METCALFE, G. - TSINAKIS, C. Density revisited. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, SI, p. 175-189.
KULACKA, A. Strong standard completeness for continuous t-norms. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, AUG 15 2018, vol. 345, p. 139-150.

0431413 - UIVT-O 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
Logic, Language, Information, and Computation. Heidelberg: Springer, 2014 - (Kohlenbach, U.; Barceló, P.; de Queiroz, R.), s. 124-136. Lecture Notes in Computer Science, 8652. ISBN 978-3-662-44144-2. ISSN 0302-9743.
[WoLLIC 2014. International Conference /21./. Valparaíso (CL), 01.09.2014-04.09.2014]
Grant CEP: GA ČR GAP202/10/1826
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Kód oboru RIV: BA - Obecná matematika; BB - Aplikovaná statistika, operační výzkum (UTIA-B)
Trvalý odkaz: http://hdl.handle.net/11104/0235975

Citace, recenze

Citace:
SAVIC, N. - DODER, D. - OGNJANOVIC, Z. Logics with lower and upper probability operators. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, SEP 2017, vol. 88, p. 148-168.
GODO, L. - GOTTWALD, S. Fuzzy sets and formal logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 15 2015, vol. 281, SI, p. 44-60.
DUBOIS, D. - PRADE, H. - SCHOCKAERT, S. Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty. ARTIFICIAL INTELLIGENCE. ISSN 0004-3702, NOV 2017, vol. 252, p. 139-174.

0480886 - UIVT-O 2019 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Neighborhood semantics for modal many-valued logics.
Fuzzy Sets and Systems. Roč. 345, 15 August (2018), s. 99-112. ISSN 0165-0114
Grant CEP: GA ČR(CZ) GF15-34650L
GRANT EU: European Commission(XE) 689176 - SYSMICS
AV ČR(CZ) JSPS-16-08; Austrian Science Fund(AT) I1897-N25
Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impakt faktor: 2.675, rok: 2017
Noguera, Carles
Trvalý odkaz: http://hdl.handle.net/11104/0276553

0448462 - UIVT-O 2016 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization for Substructural Logics.
Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2015 - (Davis, M.; Fehnker, A.; McIver, A.; Voronkov, A.), s. 1-15. Lecture Notes in Computer Science, 9450. ISBN 978-3-662-48898-0. ISSN 0302-9743.
[LPAR-20. International Conference /20./. Suva (JP), 24.11.2015-28.11.2015]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * first-order logic * Skolemization * witnessed model property
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0250157

Citace, recenze

Citace:
BAAZ, M. - IEMHOFF, R. Skolemization in intermediate logics with the finite model property. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, JUN 2016, vol. 24, no. 3, SI, p. 224-237.
IEMHOFF, R. ON THE EXISTENCE OF ALTERNATIVE SKOLEMIZATION METHODS. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, MAY 2017, vol. 4, no. 4, SI, p. 1075-1085.

0448703 - UIVT-O 2016 CZ cze B - Monografie kniha jako celek
Cintula, Petr - Noguera, Carles - Lávička, T.
Slabě implikativní logiky. Úvod do abstraktního studia výrokových logik.
Praha: Univerzita Karlova, Filozofická fakulta, 2015. 110 s. ISBN 978-80-7308-576–6
Zdroj financování: O - operační programy
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0250346

0432930 - UIVT-O 2015 RIV CH eng M - Část monografie knihy
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
Grant CEP: GA ČR GAP202/10/1826; GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
MICINN project TASSAT(XE) TIN2010-20967-C04-01
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
Kód oboru RIV: BA - Obecná matematika
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0237239

Citace, recenze

Citace:
YANG, E. Weakening-free, non-associative fuzzy logics: Micanorm-based logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 1 2015, vol. 276, p. 43-58.
CONIGLIO, M.E. - ESTEVA, F. - GODO, L. Logics of formal inconsistency arising from systems of fuzzy logic. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, DEC 2014, vol. 22, no. 6, p. 880-904.
YANG, E. Involutive basic substructural core fuzzy logics: Involutive mianorm-based logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, AUG 1 2017, vol. 320, p. 1-16.
YANG, E. Basic substructural core fuzzy logics and their extensions: Mianorm-based logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 15 2016, vol. 301, p. 1-18.
YANG, E. Set-Theoretic Kripke-Style Semantics for Monoidal T-Norm (Based) Logics. FUZZY SYSTEMS AND DATA MINING II. ISSN 0922-6389, 2016, vol. 293, p. 131-137.
GODO, L. - GOTTWALD, S. Fuzzy sets and formal logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 15 2015, vol. 281, SI, p. 44-60.
YANG, E. A non-associative generalization of continuous t-norm-based logics. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS. ISSN 1064-1246, 2017, vol. 33, no. 6, p. 3743-3752.

0430592 - UIVT-O 2015 GB eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles
Two-layer modal logics: from fuzzy logics to a general framework.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester: EasyChair Conference System, 2014 - (Galatos, N.; Kurz, A.; Tsinakis, C.), s. 43-47. EPiC, 25. ISSN 2040-557X.
[TACL 2013. Nashville (US), 28.07.2013-01.08.2013]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Kód oboru RIV: BA - Obecná matematika
http://easychair.org/publications/?page=337395348
Trvalý odkaz: http://hdl.handle.net/11104/0235501