On a logic of involutive quantales

DOI10.1002/MALQ.200410049zbMath1079.03056OpenAlexW2030031955MaRDI QIDQ5704807

Norihiro Kamide

Publication date: 15 November 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410049

zbMATH Keywords

sequent calculusinvolutive quantaleMacCaull's logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07)

Related Items (2)

Algebraic and Categorical Aspects of Quantales ⋮ Moore-Penrose equations in involutive residuated semigroups and involutive quantales

This page was built for publication: On a logic of involutive quantales