Skip to main content
Czech
English
Institute of Information Theory and Automation
You are here
Home
Search form
Search
About us
Home
Research
Education
People
Structure
Kybernetika Journal
GDPR info
Whistleblowing
GEP info
ÚTIA life
Instructions
Activities
Seminars
Library
Computer Centre
Intranet
Login
Mail access
Covid - tests records
Lemon
Reservation of Gym
Discussion list
Booking classrooms
Attendance
Attendance
Bibliography
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]
2019-01-07 08:39