A Gentzen system for involutive residuated lattices
From MaRDI portal
Publication:818712
DOI10.1007/s00012-005-1957-6zbMath1088.06012OpenAlexW1965379419MaRDI QIDQ818712
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
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