default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPetr Cintula
Person information
- affiliation: Czech Academy of Sciences, Prague, Czech Republic
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j51]Petr Cintula
, George Metcalfe, Naomi Tokuda:
One-variable Fragments of First-order Logics. Bull. Symb. Log. 30(2): 253-278 (2024)- 2022
- [j50]Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder:
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? Rev. Symb. Log. 15(2): 487-504 (2022) - [c20]George Metcalfe, Naomi Tokuda, Petr Cintula:
Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML 2022: 237-258 - [i1]Petr Cintula, George Metcalfe, Naomi Tokuda:
Algebraic semantics for one-variable lattice-valued logics. CoRR abs/2209.08566 (2022) - 2020
- [j49]Paolo Baldi, Petr Cintula, Carles Noguera:
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory. Int. J. Comput. Intell. Syst. 13(1): 988-1001 (2020)
2010 – 2019
- 2019
- [j48]Petr Cintula, Zach Weber, Shier Ju:
Editors' introduction: Special issue on non-classical modal and predicate logics. Log. J. IGPL 27(4): 385-386 (2019) - [j47]Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli:
An Abstract Approach to Consequence Relations. Rev. Symb. Log. 12(2): 331-371 (2019) - [j46]Petr Cintula, Paula Menchón, Carles Noguera:
Toward a general frame semantics for modal many-valued logics. Soft Comput. 23(7): 2233-2241 (2019) - [j45]Petr Cintula, Denisa Diaconescu, George Metcalfe:
Skolemization and Herbrand theorems for lattice-valued logics. Theor. Comput. Sci. 768: 54-75 (2019) - [j44]Petr Cintula, Denisa Diaconescu:
Omitting Types Theorem for Fuzzy Logics. IEEE Trans. Fuzzy Syst. 27(2): 273-277 (2019) - [c19]Paolo Baldi, Petr Cintula, Carles Noguera:
Translating Classical Probability Logics into Modal Fuzzy Logics. EUSFLAT Conf. 2019 - 2018
- [j43]Petr Cintula, Carles Noguera:
Implicational (semilinear) logics III: completeness properties. Arch. Math. Log. 57(3-4): 391-420 (2018) - [j42]Petr Cintula, Carles Noguera:
Neighborhood semantics for modal many-valued logics. Fuzzy Sets Syst. 345: 99-112 (2018) - [c18]Marta Bílková, Petr Cintula, Tomás Lávicka:
Lindenbaum and Pair Extension Lemma in Infinitary Logics. WoLLIC 2018: 130-144 - 2017
- [c17]Petr Cintula, Carles Noguera, Nicholas J. J. Smith:
A Logical Framework for Graded Predicates. LORI 2017: 3-16 - 2016
- [j41]Petr Cintula, Carles Noguera:
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity. Arch. Math. Log. 55(3-4): 353-372 (2016) - [j40]Petr Cintula:
A note on axiomatizations of Pavelka-style complete fuzzy logics. Fuzzy Sets Syst. 292: 160-174 (2016) - [j39]Libor Behounek, Petr Cintula, Chris Fermüller, Tomás Kroupa:
Representing strategic games and their equilibria in many-valued logics. Log. J. IGPL 24(3): 238-267 (2016) - [c16]Petr Cintula, Carles Noguera, Jonas Rogger:
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics. IPMU (2) 2016: 95-107 - 2015
- [j38]Libor Behounek, Ulrich Bodenhofer, Petr Cintula, Susanne Saminger-Platz, Peter Sarkoci:
Graded dominance and related graded properties of fuzzy connectives. Fuzzy Sets Syst. 262: 78-101 (2015) - [j37]Petr Cintula, Carles Noguera:
A Henkin-Style Proof of Completeness for First-order Algebraizable Logics. J. Symb. Log. 80(1): 341-358 (2015) - [j36]Petr Cintula, Carles Noguera:
A Note on Natural Extensions in Abstract Algebraic Logic. Stud Logica 103(4): 815-823 (2015) - [c15]Petr Cintula, Denisa Diaconescu, George Metcalfe:
Skolemization for Substructural Logics. LPAR 2015: 1-15 - 2014
- [j35]Petr Cintula, Rosalie Iemhoff, Shier Ju:
Editorial: Special issue on non-classical modal and predicate logics. Log. J. IGPL 22(3): 411-412 (2014) - [c14]Petr Cintula, Carles Noguera:
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. WoLLIC 2014: 124-136 - 2013
- [j34]Petr Cintula, Tomás Kroupa:
Simple games in Łukasiewicz calculus and their cores. Kybernetika 49(3): 404-419 (2013) - [j33]Petr Cintula, Rostislav Horcík, Carles Noguera:
Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. Rev. Symb. Log. 6(3): 394-423 (2013) - [j32]Petr Cintula, Carles Noguera:
The Proof by Cases Property and its Variants in Structural Consequence Relations. Stud Logica 101(4): 713-747 (2013) - [c13]Petr Cintula, George Metcalfe:
Herbrand Theorems for Substructural Logics. LPAR 2013: 584-600 - [c12]Petr Cintula, Carles Noguera:
Two-layer modal logics: from fuzzy logics to a general framework. TACL 2013: 43-47 - 2012
- [j31]Petr Cintula, Erich-Peter Klement, Lawrence Neff Stout:
Editorial. Fuzzy Sets Syst. 197: 1-2 (2012) - [j30]Karel Chvalovský, Petr Cintula:
Note on Deduction Theorems in contraction-free logics. Math. Log. Q. 58(3): 236-243 (2012) - 2011
- [j29]Petr Cintula, George Metcalfe, Carles Noguera:
Special Issue on Mathematical Fuzzy Logic. J. Log. Comput. 21(5): 715-716 (2011) - [c11]Martin Víta, Petr Cintula:
Filters in algebras of fuzzy logics. EUSFLAT Conf. 2011: 169-174 - 2010
- [j28]Petr Cintula, Carles Noguera:
Implicational (semilinear) logics I: a new hierarchy. Arch. Math. Log. 49(4): 417-446 (2010) - [j27]Petr Cintula, George Metcalfe:
Admissible rules in the implication-negation fragment of intuitionistic logic. Ann. Pure Appl. Log. 162(2): 162-171 (2010) - [j26]Petr Cintula, Petr Hájek:
Triangular norm based predicate fuzzy logics. Fuzzy Sets Syst. 161(3): 311-346 (2010) - [j25]Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara:
Fuzzy logics with an additional involutive negation. Fuzzy Sets Syst. 161(3): 390-411 (2010) - [c10]Libor Behounek, Petr Cintula, Ulrich Bodenhofer, Susanne Saminger-Platz, Peter Sarkoci:
On a Graded Notion of t-Norm and Dominance. ISMVL 2010: 73-78 - [c9]Karel Chvalovský, Petr Cintula:
Note on Deduction Theorems in Contraction-Free Logics. LPAR short papers(Yogyakarta) 2010: 26-29 - [c8]Petr Cintula, George Metcalfe:
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. LPAR short papers(Yogyakarta) 2010: 30-34
2000 – 2009
- 2009
- [j24]Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna, Carles Noguera:
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann. Pure Appl. Log. 160(1): 53-81 (2009) - [j23]Vilém Novák, Irina Perfilieva, Libor Behounek, Petr Cintula:
Formal methods for fuzzy mathematics, approximation and reasoning - Part II. Fuzzy Sets Syst. 160(8): 1003-1004 (2009) - [j22]Petr Cintula, Petr Hájek:
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. J. Log. Comput. 19(2): 245-260 (2009) - [j21]Petr Cintula, George Metcalfe:
Structural Completeness in Fuzzy Logics. Notre Dame J. Formal Log. 50(2): 153-182 (2009) - [c7]Petr Cintula:
From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics. ECSQARU 2009: 14-15 - [c6]Petr Cintula, Carles Noguera:
An Abstract Approach to Fuzzy Logics: implicational semilinear logics. IFSA/EUSFLAT Conf. 2009: 519-524 - [p1]Petr Cintula, Ondrej Majer:
Towards Evaluation Games for Fuzzy Logics. Games: Unifying Logic, Language, and Philosophy 2009: 117-138 - 2008
- [j20]San-Min Wang, Petr Cintula:
Logics with disjunction and proof by cases. Arch. Math. Log. 47(5): 435-446 (2008) - [j19]Vilém Novák, Irina Perfilieva, Libor Behounek, Petr Cintula:
Formal methods for fuzzy mathematics, approximation and reasoning - Part I. Fuzzy Sets Syst. 159(14): 1727-1728 (2008) - [j18]Libor Behounek, Ulrich Bodenhofer, Petr Cintula:
Relations in Fuzzy Class Theory: : Initial steps. Fuzzy Sets Syst. 159(14): 1729-1772 (2008) - 2007
- [j17]Petr Cintula, George Metcalfe:
Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Log. 46(5-6): 347-363 (2007) - [j16]Petr Cintula, Petr Hájek, Rostislav Horcík:
Formal systems of fuzzy logic and their fragments. Ann. Pure Appl. Log. 150(1-3): 40-65 (2007) - [c5]Petr Cintula, Rostislav Horcík:
Fuzzy Class Theory: Some Advanced Topics. EUSFLAT Conf. (1) 2007: 137-143 - [c4]Libor Behounek, Ulrich Bodenhofer, Petr Cintula:
Valverde-Style Representation Results in a Graded Framework. EUSFLAT Conf. (1) 2007: 153-160 - [c3]Libor Behounek, Petr Cintula:
Features of Mathematical Theories in Formal Fuzzy Logic. IFSA (1) 2007: 523-532 - 2006
- [j15]Petr Cintula:
Weakly Implicative (Fuzzy) Logics I: Basic Properties. Arch. Math. Log. 45(6): 673-704 (2006) - [j14]Libor Behounek, Petr Cintula:
Fuzzy logics as the logics of chains. Fuzzy Sets Syst. 157(5): 604-610 (2006) - [j13]Libor Behounek, Petr Cintula:
From fuzzy logic to fuzzy mathematics: A methodological manifesto. Fuzzy Sets Syst. 157(5): 642-646 (2006) - [j12]Petr Cintula, Petr Hájek:
On theories and models in fuzzy predicate logics. J. Symb. Log. 71(3): 863-880 (2006) - [j11]Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara:
Residuated logics based on strict triangular norms with an involutive negation. Math. Log. Q. 52(3): 269-282 (2006) - 2005
- [j10]Libor Behounek, Petr Cintula:
Fuzzy class theory. Fuzzy Sets Syst. 154(1): 34-55 (2005) - [j9]Petr Cintula:
Two notions of compactness in Gödel logics. Stud Logica 81(1): 99-123 (2005) - [j8]Petr Cintula:
A note to the definition of the **-algebras. Soft Comput. 9(8): 575-578 (2005) - [j7]Petr Cintula:
Short note: on the redundancy of axiom (A3) in BL and MTL. Soft Comput. 9(12): 942-942 (2005) - [c2]Petr Cintula:
Basics of a formal theory of fuzzy partitions. EUSFLAT Conf. 2005: 884-888 - 2004
- [j6]Rostislav Horcík, Petr Cintula:
Product L ukasiewicz Logic. Arch. Math. Log. 43(4): 477-504 (2004) - [j5]Petr Cintula, Mirko Navara:
Compactness of fuzzy logics. Fuzzy Sets Syst. 143(1): 59-73 (2004) - [j4]Petr Cintula, Brunella Gerla:
Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets Syst. 143(1): 89-110 (2004) - 2003
- [j3]Petr Cintula:
Advances in the LPi and LPi1/2i logics. Arch. Math. Log. 42(5): 449-468 (2003) - [c1]Rostislav Horcík, Petr Cintula:
Extension of Lukasiewicz Logic by Product Connective. IFSA 2003: 180-188 - 2001
- [j2]Petr Cintula:
The L[Pi] and L[Pi1/2]propositional and predicate logics. Fuzzy Sets Syst. 124(3): 289-302 (2001) - [j1]Petr Cintula:
About axiomatic systems of product fuzzy logic. Soft Comput. 5(3): 243-244 (2001)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
