Current browse context:
cs
Change to browse by:
References & Citations
Mathematics > Logic
Title: On Pocrims and Hoops
(Submitted on 3 Apr 2014 (v1), last revised 16 Oct 2014 (this version, v2))
Abstract: Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special class of pocrims that provide algebraic semantics for what we view as an intuitionistic analogue of the classical multi-valued {\L}ukasiewicz logic. We present some contributions to the theory of these algebraic structures. We give a new proof that the class of hoops is a variety. We use a new indirect method to establish several important identities in the theory of hoops: in particular, we prove that the double negation mapping in a hoop is a homormorphism. This leads to an investigation of algebraic analogues of the various double negation translations that are well-known from proof theory. We give an algebraic framework for studying the semantics of double negation translations and use it to prove new results about the applicability of the double negation translations due to Gentzen and Glivenko.
Submission history
From: Paulo Oliva [view email][v1] Thu, 3 Apr 2014 09:35:42 GMT (36kb)
[v2] Thu, 16 Oct 2014 15:06:02 GMT (37kb)
Link back to: arXiv, form interface, contact.