1 citations
2 papers
cs.AI2003★ 1 cited
Modeling Object Oriented Constraint Programs in Z
Laurent Henocque
Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications…
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…