Quantized linear logic, involutive quantales and strong negation
From MaRDI portal
Publication:1770594
DOI10.1023/B:STUD.0000039030.03885.7czbMath1068.03052MaRDI QIDQ1770594
Publication date: 7 April 2005
Published in: Studia Logica (Search for Journal in Brave)
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07)
Related Items
Free \(Q\)-algebras., On the power-set \(Q\)-algebras, Linear and affine logics with temporal, spatial and epistemic operators, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Nuclei and conuclei on residuated lattices, Algebraic and Categorical Aspects of Quantales, Phase semantics and Petri net interpretation for resource-sensitive strong negation, Bounded linear-time temporal logic: a proof-theoretic investigation, Moore-Penrose equations in involutive residuated semigroups and involutive quantales, Gentzen-type calculi for involutive quantales, Gentzen-type methods for bilattice negation, Some useful 16-valued logics: How a computer network should think
