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
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
Bibliography
Carles Noguera
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
Badia G.
,
Noguera Carles
:
A 0-1 Law in Mathematical Fuzzy Logic
,
IEEE Transactions on Fuzzy Systems vol.30, 9 (2022), p. 3833-3840
[2022]
Download
Download
DOI:
10.1109/TFUZZ.2021.3131200
Badia G.
,
Noguera Carles
:
Saturated models of first-order many-valued logics
,
Logic Journal of the IGPL vol.30, 1 (2022), p. 1-20
[2022]
Download
Download
DOI:
10.1093/jigpal/jzaa027
Badia G.
,
Noguera Carles
:
A general omitting types theorem in mathematical fuzzy logic
,
IEEE Transactions on Fuzzy Systems vol.29, 6 (2021), p. 1386-1394
[2021]
Download
Download
DOI:
10.1109/TFUZZ.2020.2975146
Badia G.
,
Noguera Carles
:
Lindström theorems in graded model theory
,
Annals of Pure and Applied Logic vol.172, 102916
[2021]
Download
Download
DOI:
10.1016/j.apal.2020.102916
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
Dubois D.
,
Esteva F.
,
Flaminio T.
,
Noguera Carles
,
Prade H.
,
Rodriguez R. O.
:
Many-valued Logics for Reasoning: Essays in Honor of Lluis Godo on the Occasion of his 60th Birthday
,
Soft Computing vol.23, 7 (2019), p. 2125-2127
[2019]
Download
Download
DOI:
10.1007/s00500-019-03867-x
Badia G.
,
Costa V.
,
Dellunde P.
,
Noguera Carles
:
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
,
Soft Computing vol.23, 7 (2019), p. 2177-2186
[2019]
Download
Download
DOI:
10.1007/s00500-019-03850-6
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
Badia G.
,
Noguera Carles
:
Fraisse classes of graded relational structures
,
Theoretical Computer Science vol.737, 1 (2018), p. 81-90
[2018]
Download
DOI:
10.1016/j.tcs.2018.05.010
Dellunde P.
,
García-Cerdaña A.
,
Noguera Carles
:
Back-and-forth systems for fuzzy first-order models
,
Fuzzy Sets and Systems vol.345, 1 (2018), p. 83-98
[2018]
Download
DOI:
10.1016/j.fss.2018.01.016
Lávička Tomáš
,
Noguera Carles
:
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
,
Studia Logica vol.106, 6 (2018), p. 1065-1095
[2018]
Download
DOI:
10.1007/s11225-017-9771-7
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
Lávička Tomáš
,
Noguera Carles
:
A new hierarchy of infinitary logics in abstract algebraic logic
,
Studia Logica vol.105, 3 (2017), p. 521-551
[2017]
Download
DOI:
10.1007/s11225-016-9699-3
Dellunde P.
,
García-Cerdaña A.
,
Noguera Carles
:
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
,
Logic Journal of the IGPL vol.24, 3 (2016), p. 321-345
[2016]
Download
DOI:
10.1093/jigpal/jzw009
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
Ertola R.
,
Esteva F.
,
Flaminio T.
,
Godo L.
,
Noguera Carles
:
Paraconsistency properties in degree-preserving fuzzy logics
,
Soft Computing vol.19, 3 (2015), p. 531-546
[2015]
Download
DOI:
10.1007/s00500-014-1489-0
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
Esteva F.
,
Godo L.
,
Noguera Carles
:
A logical approach to fuzzy truth hedges
,
Information Sciences vol.232, 1 (2013), p. 366-385
[2013]
Download
DOI:
10.1016/j.ins.2012.12.010
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
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
,
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]
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]
Lávička Tomáš
,
Noguera Carles
:
A New Hierarchy of Infinitary Propositional Logics
,
LATD 2016 Book of Abstracts, p. 86-88
,
LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016)
[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]
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
Biraben R. C. E.
,
Noguera Carles
:
Paraconsistent degree-preserving fuzzy logic
,
Handbook of the 5th World Congress on Paraconsistency, p. 47-48 , Eds: Beziau J. - Y., Buchsbaum A., Altair A.
,
World Congress on Paraconsistency /5./, (Kolkata, IN, 13.02.2014-17.02.2014)
[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
Ertola R.
,
Esteva F.
,
Flaminio T.
,
Godo L.
,
Noguera Carles
:
Exploring paraconsistency in degree-preserving fuzzy logics
,
Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology EUSFLAT 2013, p. 117-124 , Eds: Pasi G., Montero J., Ciucci D
,
EUSFLAT 2013, (Milan, IT, 11.09.2013-13.09.2013)
[2013]
Download
2019-01-07 08:39