Involutive Commutative Residuated Lattice without Unit: Logics and Decidability

Abstract

We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent calculus of it is presented. Moreover, we prove the decidability of this logic.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,078

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2023-06-04

Downloads
13 (#1,201,288)

6 months
7 (#973,747)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Hao Zhan
Xiamen University
Yiheng Wang
Sun Yat-Sen University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references