Personal publications
Petr Cintula (23 publications)
Submitted
Petr Cintula; Rostislav Horcík; Carles Noguera "Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties", Journal Article, Submitted.
Petr Cintula; Rostislav Horcík; Carles Noguera "The quest for the basic fuzzy logic", Petr Hájek on Mathematical Fuzzy Logic. Trends in Logic: Springer, Submitted.
In Press
Petr Cintula; Zuzana Haniková; Rostislav Horcík; Carles Noguera "Non-associative substructural logics: alternative axiomatization, algebraic and logical properties", 15th Latin American Symposium on Mathematical Logic. The Bulletin of Symbolic Logic, Bogotá, Colombia, 04/06/2012.
Petr Cintula; Zuzana Haniková; Rostislav Horcík; Carles Noguera "Semilinear non-associative substructural logics: completeness properties and complexity", 15th Latin American Symposium on Mathematical Logic. The Bulletin of Symbolic Logic, Bogotá, Colombia, 04/06/2012.
Petr Cintula; Carles Noguera "A note on the hierarchy of algebraizable logics", 4th World Congress on Universal Logic, Rio de Janeiro, 03/04/2013.
Petr Cintula; Carles Noguera "The proof by cases property and its variants in structural consequence relations", Studia Logica, In Press. Abstract
2012
Petr Cintula; Carles Noguera "Generalized Disjunctions in (Infinitary) Structural Consequence Relations", Logic Colloquium 2011. The Bulletin of Symbolic Logic, vol. 18, Barcelona, Association of Symbolic Logic, pp. 442-443, 11/07/2011.
Petr Cintula; Rostislav Horcík; Carles Noguera "A basic fuzzy logic which is really basic and fuzzy", Logic, Algebra and Truth Degrees 2012, Kanazawa, Japan, Japan Advanced Institute of Science and Technology, pp. 67 - 70, 10/09/2012.
2011
Petr Cintula; Carles Noguera "Almost (MP)-based substructural logics", Fifth International Conference on Topology, Algebra, and Categories in Logic, TACL 2011, Saint-Charles campus, University of Marseille, University of Marseille, pp. 71 - 74, 26/07/2011.
Petr Cintula; Carles Noguera "An abstract study of disjunction connectives in non-classical logics", Reunión de la Unión Matemática Argentina, San Miguel de Tucumán, Argentina, pp. 142 - 143, 20/09/2011.
Petr Cintula; Carles Noguera "(Non-associative) Substructural Fuzzy Logics", Algebraic Semantics for Uncertainty and Vagueness, Salerno, Italia, pp. 31 - 37, 18/05/2011.
Petr Cintula; Carles Noguera "A general framework for Mathematical Fuzzy Logic", Handbook of Mathematical Fuzzy Logic - volume 1. Studies in Logic, Mathematical Logic and Foundations, no. 37, London, College Publications, pp. 103 - 207, 2011.
Petr Cintula; Petr Hájek; Carles Noguera "Handbook of Mathematical Fuzzy Logic - volume 1", Studies in Logic, Mathematical Logic and Foundations, Petr Cintula, Petr Hájek, Carles Noguera (eds.) , no. 37, London, College Publications, pp. 486, 2011.
Petr Cintula; Petr Hájek; Carles Noguera "Handbook of Mathematical Fuzzy Logic - volume 2", Studies in Logic, Mathematical Logic and Foundations, Petr Cintula, Petr Hájek, Carles Noguera (eds.) , no. 38, London, College Publications, pp. 474, 2011.
Petr Cintula; Christian G. Fermüller; Lluís Godo; Petr Hájek "Understanding Vagueness. Logical, Philosophical, and Linguistic Perspectives", Studies in Logic, Petr Cintula, Christian G. Fermüller, Lluís Godo and Petr Hájek (eds.) , no. 36: College Publications, pp. 425, 2011.
2010
Petr Cintula; Carles Noguera "A general approach to non-classical first-order logics", 3rd World Congress on Universal Logic, Monte Estoril, Portugal, Indústria Portuguesa de Tipografia Lda, pp. 11 - 12, 22/04/2010.
Petr Cintula; Carles Noguera "Logics with a (lattice) disjunction and their completeness properties", 31th Linz Seminar on Fuzzy Set Theory, Linz, Austria, Universitätsdirektion, Johannes Kepler Universität, A-4040 Linz, pp. 26 - 30, 09/02/2010.
Petr Cintula; Carles Noguera "Implicational logics vs. order algebraizable logics", Logic, Algebra and Truth Degrees 2010. Institute for Theoretical Computer Science Series, vol. 507: Institute for Theoretical Computer Science, Charles University, Prague, pp. 72 - 73, 07/09/2010.
Karel Chvalovsky; Petr Cintula; Carles Noguera "Logic, Algebra and Truth Degrees 2010 - volume of abstracts", Logic, Algebra and Truth Degrees 2010. Institute for Theoretical Computer Science Series, vol. 502, Prague, Czech Republic, Charles University, pp. 1 - 168, 07/09/2010.
Petr Cintula; Carles Noguera "Implicational (semilinear) logics I: a new hierarchy", Archive for Mathematical Logic, vol. 49, issue 4: Springer Berlin / Heidelberg, pp. 417 - 446, 2010.
2009
Petr Cintula; Carles Noguera "An abstract approach to fuzzy logics: implicational semilinear logics", Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference., Lisbon, Portugal, pp. 519 - 524, 20/07/2009.
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 equivalences", Annals of Pure and Applied Logic, vol. 160, issue 1, pp. 53-81, 2009.
2008
Petr Cintula; Carles Noguera "Hierarchies of definable disjunctions and implications in non-classical logics", Sixth European Conference on Analytical Philosophy, Krakow, pp. 98, 2008.