Petr Cintula (23 publications)
Submitted
"Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties",
Journal Article, Submitted.
"The quest for the basic fuzzy logic",
Petr Hájek on Mathematical Fuzzy Logic. Trends in Logic: Springer, Submitted.
In Press
"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.
"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.
"A note on the hierarchy of algebraizable logics",
4th World Congress on Universal Logic, Rio de Janeiro, 03/04/2013.
"The proof by cases property and its variants in structural consequence relations",
Studia Logica, In Press.
Abstract
2012
"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.
"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
"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.
"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.
"(Non-associative) Substructural Fuzzy Logics",
Algebraic Semantics for Uncertainty and Vagueness, Salerno, Italia, pp. 31 - 37, 18/05/2011.
"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.
"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.
"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.
"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
"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.
"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.
"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.
"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.
"Implicational (semilinear) logics I: a new hierarchy",
Archive for Mathematical Logic, vol. 49, issue 4: Springer Berlin / Heidelberg, pp. 417 - 446, 2010.
2009
"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.
"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
"Hierarchies of definable disjunctions and implications in non-classical logics",
Sixth European Conference on Analytical Philosophy, Krakow, pp. 98, 2008.
