Carles Noguera - Revision history

Cnoguera: /* Selected publications */

2014-11-06T10:19:23Z

Selected publications

← Older revision		Revision as of 10:19, 6 November 2014
Line 16:		Line 16:
	<li><b>Paraconsistency properties in degree-preserving fuzzy logics</b> (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in <em>Soft Computing - A Fusion of Foundations, Methodologies and Applications</em>.</li>		<li><b>Paraconsistency properties in degree-preserving fuzzy logics</b> (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in <em>Soft Computing - A Fusion of Foundations, Methodologies and Applications</em>.</li>
	<li><b>A Henkin-style proof of completeness for first-order algebraizable logics</b> (with P. Cintula). To appear in <em>The Journal of Symbolic Logic</em>.</li>		<li><b>A Henkin-style proof of completeness for first-order algebraizable logics</b> (with P. Cintula). To appear in <em>The Journal of Symbolic Logic</em>.</li>
	<li><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). <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><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). <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><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. Horčík). <em>Petr Hájek on Mathematical Fuzzy Logic</em>, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>		<li><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. Horčík). <em>Petr Hájek on Mathematical Fuzzy Logic</em>, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245-290.</li>
	<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. Horčík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>		<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. Horčík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>
	<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). <em>Information Sciences</em> 232 (2013) 366-385.</li>		<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). <em>Information Sciences</em> 232 (2013) 366-385.</li>
	<li><b>The proof by cases property and its variants in structural consequence relations</b> (with P. Cintula). <em>Studia Logica</em> 101 (2013) 713-747.</li>		<li><b>The proof by cases property and its variants in structural consequence relations</b> (with P. Cintula). <em>Studia Logica</em> 101 (2013) 713-747.</li>
	<li><b>A general framework for Mathematical Fuzzy Logic</b> (with P. Cintula). <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><b>A general framework for Mathematical Fuzzy Logic</b> (with P. Cintula). <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><b>Arithmetical complexity of first-order fuzzy logics</b> (with P. Hájek and F. Montagna). <em>Handbook of Mathematical Fuzzy Logic - volume 2</em>, chapter XI, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853 - 908.</li>		<li><b>Arithmetical complexity of first-order fuzzy logics</b> (with P. Hájek and F. Montagna). <em>Handbook of Mathematical Fuzzy Logic - volume 2</em>, chapter XI, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853-908.</li>
	<li><b>Implicational (Semilinear) Logics I: A New Hierarchy</b> (with P. Cintula). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li>		<li><b>Implicational (Semilinear) Logics I: A New Hierarchy</b> (with P. Cintula). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li>
	<li><b>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics</b> (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>		<li><b>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics</b> (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>

Cnoguera at 10:18, 6 November 2014

2014-11-06T10:18:31Z

Cnoguera at 10:17, 6 November 2014

2014-11-06T10:17:34Z

← Older revision		Revision as of 10:17, 6 November 2014
Line 17:		Line 17:
	<li><b>A Henkin-style proof of completeness for first-order algebraizable logics</b> (with P. Cintula). To appear in <em>The Journal of Symbolic Logic</em>.</li>		<li><b>A Henkin-style proof of completeness for first-order algebraizable logics</b> (with P. Cintula). To appear in <em>The Journal of Symbolic Logic</em>.</li>
	<li><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). <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><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). <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><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. ~~Horcík~~). <em>Petr Hájek on Mathematical Fuzzy Logic</em>, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>		<li><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. Horčík). <em>Petr Hájek on Mathematical Fuzzy Logic</em>, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>
	<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. Horcík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>		<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. Horcík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>
	<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). <em>Information Sciences</em> 232 (2013) 366-385.</li>		<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). <em>Information Sciences</em> 232 (2013) 366-385.</li>

Cnoguera: /* Selected publications */

2014-11-04T12:45:37Z

Selected publications

Cnoguera: /* Selected publications */

2014-11-04T12:41:24Z

Selected publications

Cnoguera at 12:37, 4 November 2014

2014-11-04T12:37:55Z

← Older revision		Revision as of 12:37, 4 November 2014
Line 13:		Line 13:
	===Selected publications===		===Selected publications===
	<ul>		<ul>
	<li><b>A note on natural extensions in abstract algebraic logic</b> (with P. Cintula). To appear in Studia Logica.</li>		<li><b>A note on natural extensions in abstract algebraic logic</b> (with P. Cintula). To appear in <em>Studia Logica</em>.</li>
	<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>		<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>
	<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>		<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>

Cnoguera: /* Selected publications */

2014-11-04T12:36:29Z

Selected publications

← Older revision		Revision as of 12:36, 4 November 2014
Line 13:		Line 13:
	===Selected publications===		===Selected publications===
	<ul>		<ul>
	<li>A note on natural extensions in abstract algebraic logic (with P. Cintula). To appear in Studia Logica.</li>		<li><b>A note on natural extensions in abstract algebraic logic</b> (with P. Cintula). To appear in Studia Logica.</li>
	<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>		<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>
	<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>		<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>

Cnoguera at 12:35, 4 November 2014

2014-11-04T12:35:11Z

← Older revision		Revision as of 12:35, 4 November 2014
Line 1:		Line 1:
	===Affiliation===		===Affiliation===
	Institute of Information Theory and Automation (UTIA)		Institute of Information Theory and Automation (UTIA)

	Academy of Sciences of the Czech Republic		Academy of Sciences of the Czech Republic

	Pod Vodárenskou věží 4		Pod Vodárenskou věží 4

	18208 Prague 8, Czech Republic		18208 Prague 8, Czech Republic

	[http://www.carlesnoguera.cat/ Personal webpage]		[http://www.carlesnoguera.cat/ Personal webpage]

Line 12:		Line 16:
	<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>		<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>
	<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>		<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>
			<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with P. Cintula). 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.</li>
	<li>The quest for the basic fuzzy logic (with P. Cintula and R. Horcík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>		<li>The quest for the basic fuzzy logic (with P. Cintula and R. Horcík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>
	<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with P. Cintula and R. Horcík). The Review of Symbolic Logic 6 (2013) 794-423.</li>		<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with P. Cintula and R. Horcík). The Review of Symbolic Logic 6 (2013) 794-423.</li>

Cnoguera at 12:33, 4 November 2014

2014-11-04T12:33:47Z

← Older revision		Revision as of 12:33, 4 November 2014
Line 9:		Line 9:
	===Selected publications===		===Selected publications===
	<ul>		<ul>
⚫	<li>A general framework for Mathematical Fuzzy Logic (with P. Cintula). 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.</li>
	<li>A note on natural extensions in abstract algebraic logic (with P. Cintula). To appear in Studia Logica.</li>		<li>A note on natural extensions in abstract algebraic logic (with P. Cintula). To appear in Studia Logica.</li>
	<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>		<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>
	<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>		<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>
			<li>The quest for the basic fuzzy logic (with P. Cintula and R. Horcík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>
	<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with P. Cintula and R. Horcík). The Review of Symbolic Logic 6 (2013) 794-423.</li>		<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with P. Cintula and R. Horcík). The Review of Symbolic Logic 6 (2013) 794-423.</li>
	<li>A logical approach to fuzzy truth hedges (with F. Esteva and L. Godo). Information Sciences 232 (2013) 366-385.</li>		<li>A logical approach to fuzzy truth hedges (with F. Esteva and L. Godo). Information Sciences 232 (2013) 366-385.</li>
	<li>The proof by cases property and its variants in structural consequence relations (with P. Cintula). Studia Logica 101 (2013) 713-747.</li>		<li>The proof by cases property and its variants in structural consequence relations (with P. Cintula). Studia Logica 101 (2013) 713-747.</li>
		⚫	<li>A general framework for Mathematical Fuzzy Logic (with P. Cintula). 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.</li>
			<li>Arithmetical complexity of first-order fuzzy logics (with P. Hájek and F. Montagna). Handbook of Mathematical Fuzzy Logic - volume 2, chapter XI, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853 - 908.</li>
	<li>Implicational (Semilinear) Logics I: A New Hierarchy (with P. Cintula). Archive for Mathematical Logic 49 (2010) 417-446.</li>		<li>Implicational (Semilinear) Logics I: A New Hierarchy (with P. Cintula). Archive for Mathematical Logic 49 (2010) 417-446.</li>
	<li>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>		<li>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>

Cnoguera: Created page with "===Affiliation=== Institute of Information Theory and Automation (UTIA) Academy of Sciences of the Czech Republic Pod Vodárenskou věží 4 18208 Prague 8, Czech Republic [ht..."

2014-11-04T12:29:55Z

Created page with "===Affiliation=== Institute of Information Theory and Automation (UTIA) Academy of Sciences of the Czech Republic Pod Vodárenskou věží 4 18208 Prague 8, Czech Republic [ht..."

New page

===Affiliation===
Institute of Information Theory and Automation (UTIA)
Academy of Sciences of the Czech Republic
Pod Vodárenskou věží 4
18208 Prague 8, Czech Republic
[http://www.carlesnoguera.cat/ Personal webpage]

===Selected publications===
<ul>
<li>A general framework for Mathematical Fuzzy Logic (with P. Cintula). 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.</li>
<li>A note on natural extensions in abstract algebraic logic (with P. Cintula). To appear in Studia Logica.</li>
<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>
<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with P. Cintula and R. Horcík). The Review of Symbolic Logic 6 (2013) 794-423.</li>
<li>A logical approach to fuzzy truth hedges (with F. Esteva and L. Godo). Information Sciences 232 (2013) 366-385.</li>
<li>The proof by cases property and its variants in structural consequence relations (with P. Cintula). Studia Logica 101 (2013) 713-747.</li>
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with P. Cintula). Archive for Mathematical Logic 49 (2010) 417-446.</li>
<li>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>
<li>Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (with F. Esteva and L. Godo). Information Sciences 180 (2010) 1354-1372.</li>
<li>Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (with F. Esteva and L. Godo). Soft Computing - A Fusion of Foundations, Methodologies and Applications 14 (2010) 273-284.</li>
<li>On expansions of WNM t-norm based logics with truth-constants (with F. Esteva and L. Godo). Fuzzy Sets and Systems 161 (2010) 347-368.</li>
<li>First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (with F. Esteva and L. Godo). Annals of Pure and Applied Logic 161 (2009) 185-202.</li>
<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with P. Cintula, F. Esteva, J. Gispert, L. Godo and F. Montagna). Annals of Pure and Applied Logic 160 (2009) 53-81.</li>
<li>On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic (with F. Esteva and J. Gispert). Mathematical Logic Quarterly 54 (2008) 387-409.</li>
<li>On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants (with F. Esteva and L. Godo). Mathware & Soft Computing 14 (2007) 233-246.</li>
<li>On n-contractive fuzzy logics (with R. Horcík and M. Petrík). Mathematical Logic Quarterly 53 (2007) 268-288.</li>
<li>Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (with F. Esteva, J. Gispert and L. Godo). Fuzzy Sets and Systems 158 (2007) 597-618.</li>
<li>On weakly cancellative fuzzy logics (with F. Montagna and R. Horcík). Journal of Logic and Computation 16 (2006) 423-450.</li>
<li>On product logic with truth constants (with P. Savický, R. Cignoli, F. Esteva and L. Godo). Journal of Logic and Computation 16 (2006) 205-225.</li>
<li>On Rational Weak Nilpotent Minimum Logics (with F. Esteva and L. Godo). Journal of Multiple-valued Logic & Soft Computing 12 (2006) 9-32.</li>
<li>On some varieties of MTL-algebras (with F. Esteva and J. Gispert). Logic Journal of the IGPL 13 (2005) 443-466.</li>
<li>Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops (with F. Esteva and J. Gispert). Archive for Mathematical Logic 44 (2005) 869-886.</li>
<li>On the scope of some formulas defining additive connectives in fuzzy logics (with À. García-Cerdaña and F. Esteva). Fuzzy Sets and Systems 154 (2005) 56-75.</li>
</ul>

← Older revision		Revision as of 10:18, 6 November 2014
Line 18:		Line 18:
	<li><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). <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><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). <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><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. Horčík). <em>Petr Hájek on Mathematical Fuzzy Logic</em>, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>		<li><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. Horčík). <em>Petr Hájek on Mathematical Fuzzy Logic</em>, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>
	<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. ~~Horcík~~). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>		<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. Horčík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>
	<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). <em>Information Sciences</em> 232 (2013) 366-385.</li>		<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). <em>Information Sciences</em> 232 (2013) 366-385.</li>
	<li><b>The proof by cases property and its variants in structural consequence relations</b> (with P. Cintula). <em>Studia Logica</em> 101 (2013) 713-747.</li>		<li><b>The proof by cases property and its variants in structural consequence relations</b> (with P. Cintula). <em>Studia Logica</em> 101 (2013) 713-747.</li>
Line 32:		Line 32:
	<li><b>On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic</b> (with F. Esteva and J. Gispert). <em>Mathematical Logic</em> Quarterly 54 (2008) 387-409.</li>		<li><b>On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic</b> (with F. Esteva and J. Gispert). <em>Mathematical Logic</em> Quarterly 54 (2008) 387-409.</li>
	<li><b>On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants</b> (with F. Esteva and L. Godo). <em>Mathware & Soft Computing</em> 14 (2007) 233-246.</li>		<li><b>On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants</b> (with F. Esteva and L. Godo). <em>Mathware & Soft Computing</em> 14 (2007) 233-246.</li>
	<li><b>On n-contractive fuzzy logics</b> (with R. ~~Horcík~~ and M. Petrík). <em>Mathematical Logic Quarterly</em> 53 (2007) 268-288.</li>		<li><b>On n-contractive fuzzy logics</b> (with R. Horčík and M. Petrík). <em>Mathematical Logic Quarterly</em> 53 (2007) 268-288.</li>
	<li><b>Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results</b> (with F. Esteva, J. Gispert and L. Godo). <em>Fuzzy Sets and Systems</em> 158 (2007) 597-618.</li>		<li><b>Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results</b> (with F. Esteva, J. Gispert and L. Godo). <em>Fuzzy Sets and Systems</em> 158 (2007) 597-618.</li>
	<li><b>On weakly cancellative fuzzy logics</b> (with F. Montagna and R. ~~Horcík~~). <em>Journal of Logic and Computation</em> 16 (2006) 423-450.</li>		<li><b>On weakly cancellative fuzzy logics</b> (with F. Montagna and R. Horčík). <em>Journal of Logic and Computation</em> 16 (2006) 423-450.</li>
	<li><b>On product logic with truth constants</b> (with P. Savický, R. Cignoli, F. Esteva and L. Godo). <em>Journal of Logic and Computation</em> 16 (2006) 205-225.</li>		<li><b>On product logic with truth constants</b> (with P. Savický, R. Cignoli, F. Esteva and L. Godo). <em>Journal of Logic and Computation</em> 16 (2006) 205-225.</li>
	<li><b>On Rational Weak Nilpotent Minimum Logics</b> (with F. Esteva and L. Godo). <em>Journal of Multiple-valued Logic & Soft Computing</em> 12 (2006) 9-32.</li>		<li><b>On Rational Weak Nilpotent Minimum Logics</b> (with F. Esteva and L. Godo). <em>Journal of Multiple-valued Logic & Soft Computing</em> 12 (2006) 9-32.</li>

← Older revision		Revision as of 12:45, 4 November 2014
Line 14:		Line 14:
	<ul>		<ul>
	<li><b>A note on natural extensions in abstract algebraic logic</b> (with P. Cintula). To appear in <em>Studia Logica</em>.</li>		<li><b>A note on natural extensions in abstract algebraic logic</b> (with P. Cintula). To appear in <em>Studia Logica</em>.</li>
	<li><b>Paraconsistency properties in degree-preserving fuzzy logics</b> (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>		<li><b>Paraconsistency properties in degree-preserving fuzzy logics</b> (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in <em>Soft Computing - A Fusion of Foundations, Methodologies and Applications</em>.</li>
	<li><b>A Henkin-style proof of completeness for first-order algebraizable logics</b> (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>		<li><b>A Henkin-style proof of completeness for first-order algebraizable logics</b> (with P. Cintula). To appear in <em>The Journal of Symbolic Logic</em>.</li>
	<li><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). 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.</li>		<li><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). <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><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. Horcík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>		<li><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. Horcík). <em>Petr Hájek on Mathematical Fuzzy Logic</em>, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>
	<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. Horcík). The Review of Symbolic Logic 6 (2013) 794-423.</li>		<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. Horcík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>
	<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). Information Sciences 232 (2013) 366-385.</li>		<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). <em>Information Sciences</em> 232 (2013) 366-385.</li>
	<li><b>The proof by cases property and its variants in structural consequence relations</b> (with P. Cintula). Studia Logica 101 (2013) 713-747.</li>		<li><b>The proof by cases property and its variants in structural consequence relations</b> (with P. Cintula). <em>Studia Logica</em> 101 (2013) 713-747.</li>
	<li><b>A general framework for Mathematical Fuzzy Logic</b> (with P. Cintula). 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.</li>		<li><b>A general framework for Mathematical Fuzzy Logic</b> (with P. Cintula). <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><b>Arithmetical complexity of first-order fuzzy logics</b> (with P. Hájek and F. Montagna). Handbook of Mathematical Fuzzy Logic - volume 2, chapter XI, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853 - 908.</li>		<li><b>Arithmetical complexity of first-order fuzzy logics</b> (with P. Hájek and F. Montagna). <em>Handbook of Mathematical Fuzzy Logic - volume 2</em>, chapter XI, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853 - 908.</li>
	<li><b>Implicational (Semilinear) Logics I: A New Hierarchy</b> (with P. Cintula). Archive for Mathematical Logic 49 (2010) 417-446.</li>		<li><b>Implicational (Semilinear) Logics I: A New Hierarchy</b> (with P. Cintula). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li>
	<li><b>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics</b> (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>		<li><b>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics</b> (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>
	<li><b>Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics</b> (with F. Esteva and L. Godo). Information Sciences 180 (2010) 1354-1372.</li>		<li><b>Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics</b> (with F. Esteva and L. Godo). <em>Information Sciences</em> 180 (2010) 1354-1372.</li>
	<li><b>Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics</b> (with F. Esteva and L. Godo). Soft Computing - A Fusion of Foundations, Methodologies and Applications 14 (2010) 273-284.</li>		<li><b>Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics</b> (with F. Esteva and L. Godo). <em>Soft Computing - A Fusion of Foundations, Methodologies and Applications</em> 14 (2010) 273-284.</li>
	<li><b>On expansions of WNM t-norm based logics with truth-constants</b> (with F. Esteva and L. Godo). Fuzzy Sets and Systems 161 (2010) 347-368.</li>		<li><b>On expansions of WNM t-norm based logics with truth-constants</b> (with F. Esteva and L. Godo). <em>Fuzzy Sets and Systems</em> 161 (2010) 347-368.</li>
	<li><b>First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties</b> (with F. Esteva and L. Godo). Annals of Pure and Applied Logic 161 (2009) 185-202.</li>		<li><b>First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties</b> (with F. Esteva and L. Godo). <em>Annals of Pure and Applied Logic</em> 161 (2009) 185-202.</li>
	<li><b>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies</b> (with P. Cintula, F. Esteva, J. Gispert, L. Godo and F. Montagna). Annals of Pure and Applied Logic 160 (2009) 53-81.</li>		<li><b>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies</b> (with P. Cintula, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li>
	<li><b>On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic</b> (with F. Esteva and J. Gispert). Mathematical Logic Quarterly 54 (2008) 387-409.</li>		<li><b>On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic</b> (with F. Esteva and J. Gispert). <em>Mathematical Logic</em> Quarterly 54 (2008) 387-409.</li>
	<li><b>On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants</b> (with F. Esteva and L. Godo). Mathware & Soft Computing 14 (2007) 233-246.</li>		<li><b>On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants</b> (with F. Esteva and L. Godo). <em>Mathware & Soft Computing</em> 14 (2007) 233-246.</li>
	<li><b>On n-contractive fuzzy logics</b> (with R. Horcík and M. Petrík). Mathematical Logic Quarterly 53 (2007) 268-288.</li>		<li><b>On n-contractive fuzzy logics</b> (with R. Horcík and M. Petrík). <em>Mathematical Logic Quarterly</em> 53 (2007) 268-288.</li>
	<li><b>Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results</b> (with F. Esteva, J. Gispert and L. Godo). Fuzzy Sets and Systems 158 (2007) 597-618.</li>		<li><b>Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results</b> (with F. Esteva, J. Gispert and L. Godo). <em>Fuzzy Sets and Systems</em> 158 (2007) 597-618.</li>
	<li><b>On weakly cancellative fuzzy logics</b> (with F. Montagna and R. Horcík). Journal of Logic and Computation 16 (2006) 423-450.</li>		<li><b>On weakly cancellative fuzzy logics</b> (with F. Montagna and R. Horcík). <em>Journal of Logic and Computation</em> 16 (2006) 423-450.</li>
	<li><b>On product logic with truth constants</b> (with P. Savický, R. Cignoli, F. Esteva and L. Godo). Journal of Logic and Computation 16 (2006) 205-225.</li>		<li><b>On product logic with truth constants</b> (with P. Savický, R. Cignoli, F. Esteva and L. Godo). <em>Journal of Logic and Computation</em> 16 (2006) 205-225.</li>
	<li><b>On Rational Weak Nilpotent Minimum Logics</b> (with F. Esteva and L. Godo). Journal of Multiple-valued Logic & Soft Computing 12 (2006) 9-32.</li>		<li><b>On Rational Weak Nilpotent Minimum Logics</b> (with F. Esteva and L. Godo). <em>Journal of Multiple-valued Logic & Soft Computing</em> 12 (2006) 9-32.</li>
	<li><b>On some varieties of MTL-algebras</b> (with F. Esteva and J. Gispert). Logic Journal of the IGPL 13 (2005) 443-466.</li>		<li><b>On some varieties of MTL-algebras</b> (with F. Esteva and J. Gispert). <em>Logic Journal of the IGPL</em> 13 (2005) 443-466.</li>
	<li><b>Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops</b> (with F. Esteva and J. Gispert). Archive for Mathematical Logic 44 (2005) 869-886.</li>		<li><b>Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops</b> (with F. Esteva and J. Gispert). <em>Archive for Mathematical Logic</em> 44 (2005) 869-886.</li>
	<li><b>On the scope of some formulas defining additive connectives in fuzzy logics</b> (with À. García-Cerdaña and F. Esteva). Fuzzy Sets and Systems 154 (2005) 56-75.</li>		<li><b>On the scope of some formulas defining additive connectives in fuzzy logics</b> (with À. García-Cerdaña and F. Esteva). <em>Fuzzy Sets and Systems</em> 154 (2005) 56-75.</li>
	</ul>		</ul>

← Older revision		Revision as of 12:41, 4 November 2014
Line 14:		Line 14:
	<ul>		<ul>
	<li><b>A note on natural extensions in abstract algebraic logic</b> (with P. Cintula). To appear in <em>Studia Logica</em>.</li>		<li><b>A note on natural extensions in abstract algebraic logic</b> (with P. Cintula). To appear in <em>Studia Logica</em>.</li>
	<li>Paraconsistency properties in degree-preserving fuzzy logics (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>		<li><b>Paraconsistency properties in degree-preserving fuzzy logics</b> (with R. Ertola, F. Esteva, T. Flaminio and L. Godo). To appear in Soft Computing - A Fusion of Foundations, Methodologies and Applications.</li>
	<li>A Henkin-style proof of completeness for first-order algebraizable logics (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>		<li><b>A Henkin-style proof of completeness for first-order algebraizable logics</b> (with P. Cintula). To appear in The Journal of Symbolic Logic.</li>
	<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with P. Cintula). 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.</li>		<li><b>Modal logics of uncertainty with two layer-syntax: a general completeness theorem</b> (with P. Cintula). 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.</li>
	<li>The quest for the basic fuzzy logic (with P. Cintula and R. Horcík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>		<li><b>The quest for the basic fuzzy logic</b> (with P. Cintula and R. Horcík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290.</li>
	<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with P. Cintula and R. Horcík). The Review of Symbolic Logic 6 (2013) 794-423.</li>		<li><b>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties</b> (with P. Cintula and R. Horcík). The Review of Symbolic Logic 6 (2013) 794-423.</li>
	<li>A logical approach to fuzzy truth hedges (with F. Esteva and L. Godo). Information Sciences 232 (2013) 366-385.</li>		<li><b>A logical approach to fuzzy truth hedges</b> (with F. Esteva and L. Godo). Information Sciences 232 (2013) 366-385.</li>
	<li>The proof by cases property and its variants in structural consequence relations (with P. Cintula). Studia Logica 101 (2013) 713-747.</li>		<li><b>The proof by cases property and its variants in structural consequence relations</b> (with P. Cintula). Studia Logica 101 (2013) 713-747.</li>
	<li>A general framework for Mathematical Fuzzy Logic (with P. Cintula). 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.</li>		<li><b>A general framework for Mathematical Fuzzy Logic</b> (with P. Cintula). 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.</li>
	<li>Arithmetical complexity of first-order fuzzy logics (with P. Hájek and F. Montagna). Handbook of Mathematical Fuzzy Logic - volume 2, chapter XI, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853 - 908.</li>		<li><b>Arithmetical complexity of first-order fuzzy logics</b> (with P. Hájek and F. Montagna). Handbook of Mathematical Fuzzy Logic - volume 2, chapter XI, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853 - 908.</li>
	<li>Implicational (Semilinear) Logics I: A New Hierarchy (with P. Cintula). Archive for Mathematical Logic 49 (2010) 417-446.</li>		<li><b>Implicational (Semilinear) Logics I: A New Hierarchy</b> (with P. Cintula). Archive for Mathematical Logic 49 (2010) 417-446.</li>
	<li>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>		<li><b>Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics</b> (with F. Montagna). Journal of Logic and Computation 20 (2010) 399-424.</li>
	<li>Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (with F. Esteva and L. Godo). Information Sciences 180 (2010) 1354-1372.</li>		<li><b>Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics</b> (with F. Esteva and L. Godo). Information Sciences 180 (2010) 1354-1372.</li>
	<li>Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (with F. Esteva and L. Godo). Soft Computing - A Fusion of Foundations, Methodologies and Applications 14 (2010) 273-284.</li>		<li><b>Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics</b> (with F. Esteva and L. Godo). Soft Computing - A Fusion of Foundations, Methodologies and Applications 14 (2010) 273-284.</li>
	<li>On expansions of WNM t-norm based logics with truth-constants (with F. Esteva and L. Godo). Fuzzy Sets and Systems 161 (2010) 347-368.</li>		<li><b>On expansions of WNM t-norm based logics with truth-constants</b> (with F. Esteva and L. Godo). Fuzzy Sets and Systems 161 (2010) 347-368.</li>
	<li>First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (with F. Esteva and L. Godo). Annals of Pure and Applied Logic 161 (2009) 185-202.</li>		<li><b>First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties</b> (with F. Esteva and L. Godo). Annals of Pure and Applied Logic 161 (2009) 185-202.</li>
	<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with P. Cintula, F. Esteva, J. Gispert, L. Godo and F. Montagna). Annals of Pure and Applied Logic 160 (2009) 53-81.</li>		<li><b>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies</b> (with P. Cintula, F. Esteva, J. Gispert, L. Godo and F. Montagna). Annals of Pure and Applied Logic 160 (2009) 53-81.</li>
	<li>On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic (with F. Esteva and J. Gispert). Mathematical Logic Quarterly 54 (2008) 387-409.</li>		<li><b>On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic</b> (with F. Esteva and J. Gispert). Mathematical Logic Quarterly 54 (2008) 387-409.</li>
	<li>On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants (with F. Esteva and L. Godo). Mathware & Soft Computing 14 (2007) 233-246.</li>		<li><b>On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants</b> (with F. Esteva and L. Godo). Mathware & Soft Computing 14 (2007) 233-246.</li>
	<li>On n-contractive fuzzy logics (with R. Horcík and M. Petrík). Mathematical Logic Quarterly 53 (2007) 268-288.</li>		<li><b>On n-contractive fuzzy logics</b> (with R. Horcík and M. Petrík). Mathematical Logic Quarterly 53 (2007) 268-288.</li>
	<li>Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (with F. Esteva, J. Gispert and L. Godo). Fuzzy Sets and Systems 158 (2007) 597-618.</li>		<li><b>Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results</b> (with F. Esteva, J. Gispert and L. Godo). Fuzzy Sets and Systems 158 (2007) 597-618.</li>
	<li>On weakly cancellative fuzzy logics (with F. Montagna and R. Horcík). Journal of Logic and Computation 16 (2006) 423-450.</li>		<li><b>On weakly cancellative fuzzy logics</b> (with F. Montagna and R. Horcík). Journal of Logic and Computation 16 (2006) 423-450.</li>
	<li>On product logic with truth constants (with P. Savický, R. Cignoli, F. Esteva and L. Godo). Journal of Logic and Computation 16 (2006) 205-225.</li>		<li><b>On product logic with truth constants</b> (with P. Savický, R. Cignoli, F. Esteva and L. Godo). Journal of Logic and Computation 16 (2006) 205-225.</li>
	<li>On Rational Weak Nilpotent Minimum Logics (with F. Esteva and L. Godo). Journal of Multiple-valued Logic & Soft Computing 12 (2006) 9-32.</li>		<li><b>On Rational Weak Nilpotent Minimum Logics</b> (with F. Esteva and L. Godo). Journal of Multiple-valued Logic & Soft Computing 12 (2006) 9-32.</li>
	<li>On some varieties of MTL-algebras (with F. Esteva and J. Gispert). Logic Journal of the IGPL 13 (2005) 443-466.</li>		<li><b>On some varieties of MTL-algebras</b> (with F. Esteva and J. Gispert). Logic Journal of the IGPL 13 (2005) 443-466.</li>
	<li>Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops (with F. Esteva and J. Gispert). Archive for Mathematical Logic 44 (2005) 869-886.</li>		<li><b>Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops</b> (with F. Esteva and J. Gispert). Archive for Mathematical Logic 44 (2005) 869-886.</li>
	<li>On the scope of some formulas defining additive connectives in fuzzy logics (with À. García-Cerdaña and F. Esteva). Fuzzy Sets and Systems 154 (2005) 56-75.</li>		<li><b>On the scope of some formulas defining additive connectives in fuzzy logics</b> (with À. García-Cerdaña and F. Esteva). Fuzzy Sets and Systems 154 (2005) 56-75.</li>
	</ul>		</ul>