In this work, we introduce the sequentialized version of the bipolar focussing sequent calculus, i.e. a graphical representation of bipolar proofs as proof-structures (eventually, proof nets) which preserves only essential sequentializations.
Maieli, R., ANDREOLI Jean, M. (2010). Transactional Nets. In Proceedings of the Third Int'l Conference on Types, Logic and Grammars (TLG3).
Transactional Nets
MAIELI, ROBERTO;
2010-01-01
Abstract
In this work, we introduce the sequentialized version of the bipolar focussing sequent calculus, i.e. a graphical representation of bipolar proofs as proof-structures (eventually, proof nets) which preserves only essential sequentializations.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.