1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2004
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
In this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional logics, namely CK, CK+ID, CK+MP and CK+MP+ID. The calculus uses labels and transiti…
cs.LO2002★ 1 cited
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
G. Metcalfe, N. Olivetti, D. Gabbay
We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof sy…