Přejít k hlavnímu obsahu
Czech
English
Ústav teorie informace a automatizace
Jste zde
Domů
Vyhledávání
Hledat
O ústavu
Domů
Výzkum
Výuka
Lidé
Struktura
Časopis Kybernetika
GDPR info
Ochrana oznamovatelů
GEP info
Život ústavu
Informace
Návody
Aktivity
Semináře
Knihovna
Výpočetní středisko
Intranet
Přihlášení
Přístup k mailu
Covid - evidence testů
Lemon
Rezervace tělocvičny
Poštovní konference
Rezervace poslucháren
Docházka
Docházka
Bibliografie
Petr Cintula
Cintula Petr
,
Noguera Carles
:
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
,
Springer, (Cham 2021)
[2021]
Download
DOI:
10.1007/978-3-030-85675-5
Cintula Petr
,
Fermüller C.
,
Noguera Carles
:
Handbook of Mathematical Fuzzy Logic - Vol. 3
,
College Publications, (London 2015)
Studies in Logic - Mathematical Logic and Foundations vol.58
[2015]
Download
Cintula Petr
,
Noguera Carles
,
Lávička T.
:
Slabě implikativní logiky. Úvod do abstraktního studia výrokových logik
,
Univerzita Karlova, Filozofická fakulta, (Praha 2015)
[2015]
Cintula Petr
,
Horčík Rostislav
,
Noguera Carles
:
The Quest for the Basic Fuzzy Logic
,
Petr Hájek on Mathematical Fuzzy Logic, p. 245-290 , Eds: Montagna F.
[2015]
DOI:
10.1007/978-3-319-06233-4_12
Cintula Petr
,
Grimau Berta
,
Noguera C.
,
Smith N.J.J.
:
These degrees go to eleven: fuzzy logics and gradable predicates
,
Synthese vol.200, 445
[2022]
Download
DOI:
10.1007/s11229-022-03909-2
Baldi P.
,
Cintula Petr
,
Noguera Carles
:
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
,
International Journal of Computational Intelligence Systems vol.13, 1 (2020), p. 988-1001
[2020]
Download
DOI:
10.2991/ijcis.d.200703.001
Cintula Petr
,
Menchón P.
,
Noguera Carles
:
Toward a general frame semantics for modal many-valued logics
,
Soft Computing vol.23, 7 (2019), p. 2233-2241
[2019]
Download
DOI:
10.1007/s00500-018-3369-5
Cintula Petr
,
Noguera Carles
:
Neighborhood semantics for modal many-valued logics
,
Fuzzy Sets and Systems vol.345, p. 99-112
[2018]
DOI:
10.1016/j.fss.2017.10.009
Cintula Petr
,
Noguera Carles
:
Implicational (semilinear) logics III: completeness properties
,
Archive for Mathematical Logic vol.57, p. 391-420
[2018]
DOI:
10.1007/s00153-017-0577-0
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 vol.24, 3 (2016), p. 238-267
[2016]
DOI:
10.1093/jigpal/jzw004
Cintula Petr
,
Noguera Carles
:
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
,
Archive for Mathematical Logic vol.55, 3 (2016), p. 353-372
[2016]
DOI:
10.1007/s00153-015-0452-9
Cintula Petr
,
Noguera Carles
:
A Note on Natural Extensions in Abstract Algebraic Logic
,
Studia Logica vol.103, 4 (2015), p. 815-823
[2015]
DOI:
10.1007/s11225-014-9594-8
Cintula Petr
,
Noguera Carles
:
A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics
,
Journal of Symbolic Logic vol.80, 1 (2015), p. 341-358
[2015]
DOI:
10.1017/jsl.2014.19
Cintula Petr
,
Noguera Carles
:
The Proof by Cases Property and its Variants in Structural Consequence Relations
,
Studia Logica vol.101, 4 (2013), p. 713-747
[2013]
DOI:
10.1007/s11225-013-9496-1
Cintula Petr
,
Horčík Rostislav
,
Noguera Carles
:
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties
,
Review of Symbolic Logic vol.6, 3 (2013), p. 394-423
[2013]
DOI:
10.1017/S1755020313000099
Cintula Petr
,
Kroupa Tomáš
:
Simple games in Lukasiewicz calculus and their cores
,
Kybernetika vol.49, 3 (2013), p. 404-419
[2013]
Download
Cintula Petr
,
Wannenburg Johann Joubert
,
Vacková Kateřina
,
Grimau Berta
,
Haniková Zuzana
:
Czech Gathering of Logicians 2022
,
(Prague, CZ, 20220616)
[2022]
Download
Baldi Paolo
,
Cintula Petr
,
Noguera Carles
:
Translating Classical Probability Logics into Modal Fuzzy Logics
,
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), p. 342-349 , Eds: Štěpnička M.
,
EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./, (Praha, CZ, 20190909)
[2019]
Download
DOI:
10.2991/eusflat-19.2019.49
Cintula Petr
,
Noguera Carles
,
Smith N.
:
Formalizing The Sorites Paradox In Mathematical Fuzzy Logic
,
CLMPST 2019. Book of Abstracts, p. 113-113
,
CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./, (Prague, CZ, 20191005)
[2019]
Download
Cintula Petr
,
Noguera Carles
:
Completeness properties in abstract algebraic logic
,
TACL 2019. Abstracts, p. 59-60 , Eds: Ghilardi S., Jansana R., Gehrke M.
,
TACL 2019: Topology, Algebra, and Categories in Logic /9./, (Nice, FR, 20190617)
[2019]
Download
Baldi P.
,
Cintula Petr
,
Noguera Carles
:
On classical and fuzzy two-layered modal logics for uncertainty: translations and proof-theory
,
Logic Colloquium 2019. Book of abstracts, p. 139-139 , Eds: Chodounský D., Stejskalová J., Verner J.
,
Logic Colloquium 2019, (Praha, CZ, 20190811)
[2019]
Download
Cintula Petr
,
Menchón P.
,
Noguera Carles
:
General Neighborhood and Kripke Semantics for Modal Many-Valued Logics
,
LATD 2018. Proceedings, p. 31-34
,
LATD 2018: Logic, Algebra and Truth Degrees /6./, (Bern, CH, 20190828)
[2018]
Baldi Paolo
,
Cintula Petr
,
Noguera Carles
:
Translating logics of uncertainty into two-layered modal fuzzy logics
,
AiML 2018: Accepted Short Papers, p. 6-10
,
AiML 2018: Advances in Modal Logic /12./, (Bern, CH, 20190827)
[2018]
Download
Bílková Marta
,
Cintula Petr
,
Lávička Tomáš
:
Lindenbaum and Pair Extension Lemma in Infinitary Logics
,
Logic, Language, Information and Computation, p. 130-144 , Eds: Moss L. S., de Queiroz R., Martinez M.
,
WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./, (Bogotá, CO, 20180724)
[2018]
DOI:
10.1007/978-3-662-57669-4_7
Bílková Marta
,
Cintula Petr
,
Haniková Zuzana
,
Horčík R.
,
Kroupa T.
,
Lávička Tomáš
,
Majer Ondrej
,
Moraschini Tommaso
,
Noguera Carles
,
Přenosil Adam
,
Sedlár Igor
,
Vidal Amanda
:
TACL 2017: Topology, Algebra and Categories in Logic
,
(Prague, CZ, 20170626)
[2017]
Download
Bonzio Stefano
,
Cintula Petr
,
Noguera Carles
:
Hájek's Probabilistic quantifiers revisited
,
NCMPL 2017 Abstracts
,
NCMPL 2017. Non-Classical Modal and Predicate Logics /9./, (Guangzhou, CN, 04.12.2017-07.12.2017)
[2017]
Bonzio Stefano
,
Cintula Petr
,
Noguera Carles
:
Fuzzy logics with integral quantifiers: first steps
,
ManyVal 2017. Booklet of Abstracts, p. 36-38
,
ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017)
[2017]
Cintula Petr
,
Noguera Carles
:
Combining many-valued logics using two-layer modal syntax
,
ManyVal 2017. Booklet of Abstracts, p. 13-15
,
ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017)
[2017]
Bílková Marta
,
Cintula Petr
,
Lávička Tomáš
:
Lindenbaum-style proof of completeness for infinitary logics
,
ISRALOG'17 Abstract Booklet, p. 28-31
,
ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017)
[2017]
Cintula Petr
,
Noguera Carles
,
Smith N.J.J.
:
A Logical Framework for Graded Predicates
,
Logic, Rationality, and Interaction, p. 3-16 , Eds: Baltag A., Yamada T., Seligman J.
,
LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./, (Sapporo, JP, 20170911)
[2017]
DOI:
10.1007/978-3-662-55665-8_1
Cintula Petr
,
Noguera Carles
:
Neighborhood Semantics for Non-Classical Logics with Modalities
,
SYSMICS 2016. Syntax Meets Semantics. Booklet of Abstracts, p. 56-57 , Eds: Spada L.
,
SYSMICS 2016. Syntax Meets Semantics, (Barcelona, ES, 20160905)
[2016]
Cintula Petr
,
Noguera Carles
:
Completeness Properties in Protoalgebraic Logics
,
LATD 2016 Book of Abstracts, p. 56-58
,
LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016)
[2016]
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, p. 95-107 , Eds: Carvalho J.P., Lesot M.-J., Kaymak U., Vieira S., Bouchon-Meunier B., Yager R.R.
,
IPMU 2016 /16./, (Eindhoven, NL, 20.06.2016-24.06.2016)
[2016]
DOI:
10.1007/978-3-319-40581-0_9
Cintula Petr
,
Noguera Carles
:
Completeness theorem for first-order algebraizable logics
,
CLMPS 2015 & LC 2015. Book of Abstracts, p. 681-681
,
LC 2015. Logic Colloquium, (Helsinki, FI, 03.08.2015-08.08.2015)
[2015]
Noguera Carles
,
Cintula Petr
:
Extending the set of variables in propositional logics
,
CLMPS 2015 & LC 2015. Book of Abstracts, p. 207-207
,
CLMPS 2015. Congress of Logic, Methodology and Philosophy of Science /15./, (Helsinki, FI, 03.08.2015-08.08.2015)
[2015]
Cintula Petr
,
Noguera Carles
:
Dense completeness theorem for protoalgebraic logics
,
Topology, Algebra and Categories in Logic. Booklet of Abstracts, p. 55-57
,
TACL 2015. Topology, Algebra and Categories in Logic, (Ischia, IT, 21.06.2015-26.06.2015)
[2015]
Cintula Petr
,
Noguera Carles
:
Two-layer Modal Logics: Formalism and Applications
,
Logica 2015, p. 15-15
,
Logica 2015, (Hejnice, CZ, 20150615)
[2015]
Cintula Petr
,
Noguera Carles
:
Beyond Finitarity in Abstract Algebraic Logic II. From Theory to Applications
,
XX Conference Applications of Logic in Philosophy and the Foundations of Mathematics, p. 11-12 , Eds: Siemienczuk K., Skowron B, Selinger M.
,
Applications of Logic in Philosophy and the Foundations of Mathematics /20./, (Szklarska Poreba, PL, 04.05.2015-08.05.2015)
[2015]
Cintula Petr
,
Noguera Carles
:
Beyond Finitarity in Abstract Algebraic Logic I. From Motivation to a Theory
,
XX Conference Applications of Logic in Philosophy and the Foundations of Mathematics, p. 9-10 , Eds: Siemienczuk K., Skowron B, Selinger M.
,
Applications of Logic in Philosophy and the Foundations of Mathematics /20./, (Szklarska Poreba, PL, 04.05.2015-08.05.2015)
[2015]
Běhounek Libor
,
Cintula Petr
,
Kroupa Tomáš
:
Nash Equilibria in a Class of Continuous Games over Rational Lukasiewicz Logic
,
ISRALOG'14 Abstracts, p. 44-47
,
ISRALOG 2014. Israeli Workshop on Non-Classical Logics and Their Applications /2./, (Haifa, IL, 29.09.2014-01.10.2014)
[2014]
Cintula Petr
,
Noguera Carles
:
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
,
Logic, Language, Information, and Computation, p. 124-136 , Eds: Kohlenbach U., Barceló P., de Queiroz R.
,
WoLLIC 2014. International Conference /21./, (Valparaíso, CL, 01.09.2014-04.09.2014)
[2014]
DOI:
10.1007/978-3-662-44145-9_9
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, p. 43-47 , Eds: Galatos N., Kurz A., Tsinakis C.
,
TACL 2013, (Nashville, US, 28.07.2013-01.08.2013)
[2014]
Download
Cintula Petr
,
Noguera Carles
:
A Completeness Theorem for Two-Layer Modal Logics
,
Proceedings of the International Workshop on Algebraic Logic in Computer Science, p. 1-4
,
International Workshop on Algebraic Logic in Computer Science, (Stellenbosch, ZA, 14.12.2013)
[2013]
Download
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, p. 1-4
,
International Workshop on Algebraic Logic in Computer Science, (Stellenbosch, ZA, 14.12.2013)
[2013]
Download
Cintula Petr
,
Majer Ondrej
,
Kroupa Tomáš
:
Manyval 2013: Games, decisions and rationality
,
(Prague, CZ, 04.09.2013-06.09.2013)
[2013]
Download
Cintula Petr
,
Klement E.P.
,
Mesiar Radko
,
Navara M.
:
Varieties of Algebras Based on Strict t-norms and Involutive Negations
,
Eight International Conference on Fuzzy Sets Theory and Applications, p. 8-9 , Eds: Klement P.E., Mesiar R., Drobná E., Chovanec F.
,
FSTA 2006 /8./, (Liptovský Ján, SK, 30.01.2006-03.02.2006)
[2006]
Cintula Petr
,
Klement E.P.
,
Mesiar Radko
,
Navara M.
:
On the Special Role of the Hamacher Product in Fuzzy Logics
,
Fuzzy Logics and Related Structures, p. 34-37 , Eds: Gottwald S., Hájek P., Höhle U., Klement E.P.
,
Linz Seminar on Fuzzy Set Theory /26./, (Linz, AT, 01.02.2005-05.02.2005)
[2005]
07.01.2019 - 08:39