Name Card

Full name Familienname, Vorname
Metcalfe, George
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Metcalfe, George How to make your algebras densePräsentation Presentation2006
2Metcalfe, George Proof systems for admissibilityPräsentation Presentation2006
3Metcalfe, George Proof theory for Casari's comparative logicsArtikel Article2006
4Metcalfe, George ; Olivetti, Nicola ; Gabbay, Dov Lukasiewicz logic: From proof system to logic programmingArtikel Article2005
5Metcalfe, George Uniform based fuzzy logicsPräsentation Presentation2004
6Metcalfe, George Hypersequents and fuzzy logicPräsentation Presentation2004