# Difference between revisions of "George Metcalfe"

From ERCIM Working Group on Many-Valued Logics

(→Selected publications) |
|||

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> |

## Revision as of 16:03, 11 November 2014

### Affiliation

Institute of Computer Science

Mathematical Institute

University of Bern

### 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. Fermüller).
*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.