News‎ > ‎

Towards a linear contract logic

posted Sep 11, 2013, 6:10 AM by Massimo Bartoletti   [ updated Sep 11, 2013, 6:11 AM ]

Upcoming Seminar

Towards a linear contract logic

ICTCS 2013
September 9-11, 2013
Università degli Studi di Palermo

Paolo Di Giamberardino
Dipartimento di Matematica e Informatica - Università degli Studi di Cagliari

We introduce a linear logic for contracts. The logic (called PCLLW)  extends intuitionistic linear affine logic ILLW with a contractual implication connective, along the lines of Propositional Contract Logic.

A proof system for PCLLW is presented, and it is shown sound and complete with respect to a phase structure model. By exploiting the finite model property, we show that PCLLW is decidable.

Massimo Bartoletti,
Sep 11, 2013, 6:10 AM