A Gentzen system for involutive residuated lattices

DOI10.1007/s00012-005-1957-6zbMath1088.06012OpenAlexW1965379419MaRDI QIDQ818712

Annika M. Wille

Publication date: 21 March 2006

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-005-1957-6

zbMATH Keywords

linear logicequational theoryGentzen systeminvolutive residuated lattice

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ Relation algebras as expanded FL-algebras ⋮ Residuated frames with applications to decidability ⋮ Hyper-MacNeille completions of Heyting algebras

This page was built for publication: A Gentzen system for involutive residuated lattices