Difference between revisions of "Libor Běhounek"

From ERCIM Working Group on Many-Valued Logics
Jump to: navigation, search
(Affiliation)
(Selected publications)
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. 1-101, London: College Publication, 2011.</li>
  
<li>A Henkin-style proof of completeness for first-order 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): 1005-1036 (2009).</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>Relations in Fuzzy Class Theory: Initial steps (with P. Cintula and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729-1772.</li>
  
<li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor&#269;í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>Fuzzy Class Theory (with P. Cintula).
 
+
<em>Fuzzy Sets and Systems</em> 154 (2005) 34-55.</li>
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor&#269;í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>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. 103-207.</li>
 
 
 
<li>Introduction to Mathematical Fuzzy Logic (with L. B&#283;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. 1-101, London: College Publication, 2011.</li>
 
 
 
<li>Admissible rules in the implication-negation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162-171.</li>
 
 
 
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li>
 
 
 
<li>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). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li>
 
 
 
<li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153-182.</li>
 
 
 
<li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. Hájek). <em>Journal of Logic and Computation</em> 19 (2009) 245-260.</li>
 
 
 
<li>Relations in Fuzzy Class Theory: Initial steps (with L. B&#283;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&#269;í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>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673-704.</li>
 
 
 
<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642-646.</li>
 
 
 
<li>Fuzzy logics as the logics of chains (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604-610.</li>
 
 
 
<li>Fuzzy Class Theory (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34-55.</li>
 
 
 
<li>Product Lukasiewicz logic (with R. Hor&#269;ík). <em>Archive for Mathematical Logic</em> 43 (2004) 477-503.</li>
 
 
 
<li>Advances in the LPi and LPi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449-468.</li>
 
 
</ul>
 
</ul>

Revision as of 14:09, 28 November 2014

Affiliation

Institute of Computer Science

Academy of Sciences of the Czech Republic

Pod Vodárenskou věží 2

18207 Prague 8, Czech Republic


Institute for Research and Applications of Fuzzy Modeling

University of Ostrava

30. dubna 22, 701 03 Ostrava 1, Czech Republic

Personal webpage

Selected publications

  • Introduction to Mathematical Fuzzy Logic (with P. Cintula 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. Pp. 1-101, London: College Publication, 2011.
  • Relational compositions in Fuzzy Class Theory (with M. Daňková). Fuzzy Sets and Systems 160(8): 1005-1036 (2009).
  • Relations in Fuzzy Class Theory: Initial steps (with P. Cintula and U. Bodenhofer). Fuzzy Sets and Systems 159 (2008) 1729-1772.
  • Fuzzy Class Theory (with P. Cintula). Fuzzy Sets and Systems 154 (2005) 34-55.