

Line 20: 
Line 20: 
 ===Selected publications===   ===Selected publications=== 
 <ul>   <ul> 
−  <li>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in <em>Studia Logica</em>.</li>  +  <li>Introduction to Mathematical Fuzzy Logic (with P. Cintula and P. 
 +  Hájek). In P. Cintula, P. Hájek, C. Noguera, editors, 
 +  <em>Handbook of Mathematical Fuzzy Logic  Volume 1</em>, 
 +  volume 37 of Studies in Logic, Mathematical Logic and Foundations. 
 +  Pp. 1101, London: College Publication, 2011.</li> 
   
−  <li>A Henkinstyle proof of completeness for firstorder algebraizable logics (with C. Noguera). To appear in The <em>Journal of Symbolic Logic</em>.</li>  +  <li>Relational compositions in Fuzzy Class Theory (with M. Daňková). 
 +  <em>Fuzzy Sets and Systems</em> 160(8): 10051036 (2009).</li> 
   
−  <li>Modal logics of uncertainty with two layersyntax: 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 14, 2014, Lecture Notes in Computer Science, Springer, pp. 124136.</li>  +  <li>Relations in Fuzzy Class Theory: Initial steps (with P. Cintula and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 17291772.</li> 
   
−  <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. 245290.</li>  +  <li>Fuzzy Class Theory (with P. Cintula). 
−   +  <em>Fuzzy Sets and Systems</em> 154 (2005) 3455.</li> 
−  <li>Nonassociative 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) 794423.</li>
 
−   
−  <li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713747.</li>
 
−   
−  <li>A general framework for Mathematical Fuzzy Logic (with C. Noguera). <em>Handbook of Mathematical Fuzzy Logic  volume 1</em>, chapter II, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103207.</li>
 
−   
−  <li>Introduction to Mathematical Fuzzy Logic (with L. Běhounek and P. Hájek). In P. Cintula, P. Hájek, C. Noguera, editors, <em>Handbook of Mathematical Fuzzy Logic  Volume 1</em>, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1101, London: College Publication, 2011.</li>
 
−   
−  <li>Admissible rules in the implicationnegation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162171.</li>
 
−   
−  <li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417446.</li>
 
−   
−  <li>Distinguished algebraic semantics for tnorm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 5381.</li>
 
−   
−  <li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153182.</li>
 
−   
−  <li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. Hájek). <em>Journal of Logic and Computation</em> 19 (2009) 245260.</li>
 
−   
−  <li>Relations in Fuzzy Class Theory: Initial steps (with L. Běhounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 17291772.</li>
 
−   
−  <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) 4065.</li>
 
−   
−  <li>On theories and models in fuzzy predicate logics (with P. Hájek). <em>Journal of Symbolic Logic</em> 71 (2006) 863880.</li>
 
−   
−  <li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673704.</li>
 
−   
−  <li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. Běhounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642646.</li>
 
−   
−  <li>Fuzzy logics as the logics of chains (with L. Běhounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604610.</li>
 
−   
−  <li>Fuzzy Class Theory (with L. Běhounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 3455.</li>
 
−   
−  <li>Product Lukasiewicz logic (with R. Horčík). <em>Archive for Mathematical Logic</em> 43 (2004) 477503.</li>
 
−   
−  <li>Advances in the LPi and LPi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449468.</li>
 
 </ul>   </ul> 