# Difference between revisions of "Petr Cintula"

From ERCIM Working Group on Many-Valued Logics

(→Selected publications) |
|||

Line 18: | Line 18: | ||

<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barcel?, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li> | <li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barcel?, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li> | ||

− | <li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor | + | <li>The quest for the basic fuzzy logic (with C. Noguera and R. Horčík). Petr H?jek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), <em>Outstanding Contributions to Logic</em>, vol. 6, Springer, 2014, pp. 245-290.</li> |

− | <li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor | + | <li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Horčík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li> |

<li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li> | <li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li> | ||

Line 40: | Line 40: | ||

<li>Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729?1772.</li> | <li>Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729?1772.</li> | ||

− | <li>Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Hor | + | <li>Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Horčík). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40?65.</li> |

<li>On theories and models in fuzzy predicate logics (with P. H?jek). <em>Journal of Symbolic Logic</em> 71 (2006) 863?880.</li> | <li>On theories and models in fuzzy predicate logics (with P. H?jek). <em>Journal of Symbolic Logic</em> 71 (2006) 863?880.</li> | ||

Line 52: | Line 52: | ||

<li>Fuzzy Class Theory (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34?55.</li> | <li>Fuzzy Class Theory (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34?55.</li> | ||

− | <li>Product ?ukasiewicz logic (with R. Hor | + | <li>Product ?ukasiewicz logic (with R. Horčík). <em>Archive for Mathematical Logic</em> 43 (2004) 477?503.</li> |

<li>Advances in the ?Pi and ?Pi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449?468.</li> | <li>Advances in the ?Pi and ?Pi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449?468.</li> | ||

</ul> | </ul> |

## Revision as of 16:15, 11 November 2014

### Affiliation

Institute of Computer Science

Academy of Sciences of the Czech Republic

Pod Vodárenskou věží 2

18207 Prague 8, Czech Republic

### Selected publications

- A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in
*Studia Logica*. - A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The
*Journal of Symbolic Logic*. - Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera).
*Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014*, Ulrich Kohlenbach, Pablo Barcel?, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136. - The quest for the basic fuzzy logic (with C. Noguera and R. Horčík). Petr H?jek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed),
*Outstanding Contributions to Logic*, vol. 6, Springer, 2014, pp. 245-290. - Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Horčík).
*The Review of Symbolic Logic*6 (2013) 794-423. - The proof by cases property and its variants in structural consequence relations (with C. Noguera).
*Studia Logica 101*(2013) 713-747. - A general framework for Mathematical Fuzzy Logic (with C. Noguera).
*Handbook of Mathematical Fuzzy Logic - volume 1*, chapter II, P. Cintula, P. H?jek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207. - Introduction to Mathematical Fuzzy Logic (with L. B?hounek and P. H?jek). In P. Cintula, P. H?jek, C. Noguera, editors,
*Handbook of Mathematical Fuzzy Logic - Volume 1*, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1?101, London: College Publication, 2011. - Admissible rules in the implication?negation fragment of intuitionistic logic (with G. Metcalfe).
*Annals of Pure and Applied Logic*162 (2010) 162?171. - Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera).
*Archive for Mathematical Logic*49 (2010) 417-446. - Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna).
*Annals of Pure and Applied Logic*160 (2009) 53-81. - Structural completeness in fuzzy logics (with G. Metcalfe).
*Notre Dame Journal of Formal Logic*50 (2009) 153?182. - Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. H?jek).
*Journal of Logic and Computation*19 (2009) 245?260. - Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer).
*Fuzzy Sets and Systems*159 (2008) 1729?1772. - Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Horčík).
*Annals of Pure and Applied Logic*150 (2007) 40?65. - On theories and models in fuzzy predicate logics (with P. H?jek).
*Journal of Symbolic Logic*71 (2006) 863?880. - Weakly implicative (fuzzy) logics I: Basic properties.
*Archive for Mathematical Logic*45 (2006) 673?704. - From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B?hounek).
*Fuzzy Sets and Systems*157 (2006) 642?646. - Fuzzy logics as the logics of chains (with L. B?hounek).
*Fuzzy Sets and Systems*157 (2006) 604?610. - Fuzzy Class Theory (with L. B?hounek).
*Fuzzy Sets and Systems*154 (2005) 34?55. - Product ?ukasiewicz logic (with R. Horčík).
*Archive for Mathematical Logic*43 (2004) 477?503. - Advances in the ?Pi and ?Pi1/2 logics.
*Archive for Mathematical Logic*42 (2003) 449?468.