George Metcalfe: Difference between revisions
(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...") |
No edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
===Affiliation=== |
===Affiliation=== |
||
Institute of Computer Science |
|||
Mathematical Institute |
Mathematical Institute |
||
| Line 7: | Line 5: | ||
[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). |
|||
| ⚫ | |||
Proof Theory for |
<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> |
||
| ⚫ | |||
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. |
<em>Archive for Mathematical Logic</em> 46(6) (2007), 425-449.</li> |
||
Substructural Fuzzy Logics (with F. Montagna). |
<li>Substructural Fuzzy Logics (with F. Montagna). <em>Journal of Symbolic Logic</em> 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). <em>ACM Transactions on Computational Logic</em> 6(3) (2005), 578-613.</li> |
||
</ul> |
|||
ACM Transactions on Computational Logic 6(3) (2005), 578-613. |
|||
Latest revision as of 14:22, 20 March 2018
Affiliation
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.