#### Filter Results:

- Full text PDF available (40)

#### Publication Year

1941

2017

- This year (5)
- Last 5 years (17)
- Last 10 years (46)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- George Metcalfe, Franco Montagna
- J. Symb. Log.
- 2007

- George Metcalfe, Nicola Olivetti, Dov M. Gabbay
- ArXiv
- 2002

We present two embeddings of in nite-valued Lukasiewicz logic L into Meyer and Slaney’s abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L. These include: hypersequent calculi for A and L and terminating versions of these calculi; labelled single… (More)

We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, Gödel logic, and Product logic. Relational hypersequents generalize both hypersequents and sequents-of-relations. Such a framework can be interpreted via a particular class of dialogue games… (More)

- George Metcalfe, Nicola Olivetti, Dov M. Gabbay
- CSL
- 2003

In this work we present goal-directed calculi for the GödelDummett logic LC and its finite-valued counterparts, LCn (n ≥ 2). We introduce a terminating hypersequent calculus for the implicational fragment of LC with local rules and a single identity axiom. We also give a labelled goal-directed calculus with invertible rules and show that it is co-NP.… (More)

- Dov M. Gabbay, George Metcalfe
- Arch. Math. Log.
- 2007

Axiomatizations are presented for fuzzy logics characterized by uninorms continuous on the half-open real unit interval [0, 1), generalizing the continuous t-norm based approach of Hájek. Basic uninorm logic BUL is defined and completeness is established with respect to algebras with lattice reduct [0, 1] whose monoid operations are uninorms continuous on… (More)

- Matthias Baaz, George Metcalfe
- J. Log. Comput.
- 2010

- Agata Ciabattoni, George Metcalfe, Franco Montagna
- Fuzzy Sets and Systems
- 2010

Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in the framework of residuated lattices and proof-theoretically as hypersequent calculi. Completeness with respect to standard algebras based on t-norms, embeddings between logics,… (More)

- Agata Ciabattoni, George Metcalfe
- Theor. Comput. Sci.
- 2008

- George Metcalfe, Nicola Olivetti
- Logical Methods in Computer Science
- 2011

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the manyvalued semantics of Gödel logic. The calculi are used to establish completeness and complexity results for these fragments.

- Agata Ciabattoni, George Metcalfe
- TABLEAUX
- 2003

In this work we investigate bounded Lukasiewicz logics, characterised as the intersection of the k-valued Lukasiewicz logics for k = 2, . . . , n (n ≥ 2). These logics formalise a generalisation of Ulam’s game with applications in Information Theory. Here we provide an analytic proof calculus G LBn for each bounded Lukasiewicz logic, obtained by adding a… (More)