Petr Cintula - Revision history

Cnoguera at 16:17, 11 November 2014

2014-11-11T16:17:35Z

Cnoguera: /* Selected publications */

2014-11-11T16:16:02Z

Selected publications

← Older revision		Revision as of 16:16, 11 November 2014
Line 16:		Line 16:
	<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>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>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čí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>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čík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>		<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>
Line 24:		Line 24:
	<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>

	<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>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?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>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. 1?101, London: College Publication, 2011.</li>

Cnoguera at 16:15, 11 November 2014

2014-11-11T16:15:22Z

← Older revision		Revision as of 16:15, 11 November 2014
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~~??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>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~~??k~~). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li>		<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~~??k~~). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40?65.</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) 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~~??k~~). <em>Archive for Mathematical Logic</em> 43 (2004) 477?503.</li>		<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>

Cnoguera: /* Selected publications */

2014-11-11T16:14:16Z

Selected publications

← Older revision		Revision as of 16:14, 11 November 2014
Line 44:		Line 44:
	<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>

	<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic<em> 45 (2006) 673?704.</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?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642?646.</li>		<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642?646.</li>

Cnoguera: /* Selected publications */

2014-11-11T16:13:39Z

Selected publications

Show changes

Cnoguera at 16:07, 11 November 2014

2014-11-11T16:07:43Z

← Older revision		Revision as of 16:07, 11 November 2014
Line 1:		Line 1:
			===Affiliation===
			Institute of Computer Science

			Academy of Sciences of the Czech Republic

			Pod Vodárenskou věží 2

			18207 Prague 8, Czech Republic

			[http://www.cs.cas.cz/~cintula Personal webpage]

			===Selected publications===

	A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in Studia Logica.		A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in Studia Logica.

Cnoguera: Created page with "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 log..."

2014-11-11T16:06:27Z

Created page with "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 log..."

New page

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.

← Older revision		Revision as of 16:17, 11 November 2014
Line 26:		Line 26:
	<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>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?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>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. 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>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>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li>
Line 34:		Line 34:
	<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>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>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>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?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čík). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40?65.</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) 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>

	<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673?704.</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?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642?646.</li>		<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. Běhounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642-646.</li>

	<li>Fuzzy logics as the logics of chains (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604?610.</li>		<li>Fuzzy logics as the logics of chains (with L. Běhounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604-610.</li>

	<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čík). <em>Archive for Mathematical Logic</em> 43 (2004) 477?503.</li>		<li>Product Lukasiewicz 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 LPi and LPi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449-468.</li>
	</ul>		</ul>