George Metcalfe - Revision history

Cnoguera at 14:22, 20 March 2018

2018-03-20T14:22:38Z

← Older revision		Revision as of 14:22, 20 March 2018
Line 1:		Line 1:
	===Affiliation===		===Affiliation===
	Institute of Computer Science

	Mathematical Institute		Mathematical Institute

Cnoguera: /* Selected publications */

2014-11-11T16:03:51Z

Selected publications

← Older revision		Revision as of 16:03, 11 November 2014
Line 11:		Line 11:
	<ul>		<ul>
	<li>Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).		<li>Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).
	Springer Series in Applied Logic Vol. 36 (284 pages), 2008.</li>		<em>Springer Series in Applied Logic</em> Vol. 36 (284 pages), 2008.</li>

	<li>Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermüller).Studia Logica, 92(1) (2009), 27-61.</li>		<li>Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermüller). <em>Studia Logica</em>, 92(1) (2009), 27-61.</li>

	<li>Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).		<li>Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).
	Archive for Mathematical Logic 46(6) (2007), 425-449.</li>		<em>Archive for Mathematical Logic</em> 46(6) (2007), 425-449.</li>

	<li>Substructural Fuzzy Logics (with F. Montagna). Journal of Symbolic Logic 72(3) (2007), 834-864.</li>		<li>Substructural Fuzzy Logics (with F. Montagna). <em>Journal of Symbolic Logic</em> 72(3) (2007), 834-864.</li>

	<li>Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay). ACM Transactions on Computational Logic 6(3) (2005), 578-613.</li>		<li>Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay). <em>ACM Transactions on Computational Logic</em> 6(3) (2005), 578-613.</li>
	</ul>		</ul>

Cnoguera at 16:02, 11 November 2014

2014-11-11T16:02:35Z

← Older revision		Revision as of 16:02, 11 November 2014
Line 7:		Line 7:

	[http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Personal webpage]		[http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Personal webpage]


	===Selected publications===		===Selected publications===
			<ul>
			<li>Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).
		⚫	Springer Series in Applied Logic Vol. 36 (284 pages), 2008.</li>

	Proof Theory for ~~Fuzzy~~ ~~Logics~~ (with N. ~~Olivetti~~ ~~and D~~. ~~Gabbay~~).		<li>Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermüller).Studia Logica, 92(1) (2009), 27-61.</li>
⚫	Springer Series in Applied Logic Vol. 36 (284 pages), 2008.

	Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermuller).
	Studia Logica, 92(1) (2009), 27-61.

	Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).		<li>Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).
	Archive for Mathematical Logic 46(6) (2007), 425-449.		Archive for Mathematical Logic 46(6) (2007), 425-449.</li>

	Substructural Fuzzy Logics (with F. Montagna).		<li>Substructural Fuzzy Logics (with F. Montagna). Journal of Symbolic Logic 72(3) (2007), 834-864.</li>
	Journal of Symbolic Logic 72(3) (2007), 834-864.

	Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay).		<li>Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay). ACM Transactions on Computational Logic 6(3) (2005), 578-613.</li>
			</ul>
	ACM Transactions on Computational Logic 6(3) (2005), 578-613.

Cnoguera: Created page with "===Affiliation=== Institute of Computer Science Mathematical Institute University of Bern [http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Person..."

2014-11-11T16:00:51Z

Created page with "===Affiliation=== Institute of Computer Science Mathematical Institute University of Bern [http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Person..."

New page

===Affiliation===
Institute of Computer Science

Mathematical Institute

University of Bern

[http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Personal webpage]

===Selected publications===

Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).
Springer Series in Applied Logic Vol. 36 (284 pages), 2008.

Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermuller).
Studia Logica, 92(1) (2009), 27-61.

Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).
Archive for Mathematical Logic 46(6) (2007), 425-449.

Substructural Fuzzy Logics (with F. Montagna).
Journal of Symbolic Logic 72(3) (2007), 834-864.

Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay).
ACM Transactions on Computational Logic 6(3) (2005), 578-613.