Strong negation in intuitionistic style sequent systems for residuated lattices

DOI10.1002/MALQ.201300016MaRDI QIDQ2922496zbMATH OpenOpenAlexFDO

Authors Michał Kozak

Publication date 10 October 2014

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Other algebras related to logic (03G25)

Recommendations

• Constructive logic with strong negation is a substructural logic. I
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• Constructive logic with strong negation is a substructural logic. II
• Remarks on special lattices and related constructive logics with strong negation
• A Gentzen system for involutive residuated lattices

Cites work

• A Gentzen system for involutive residuated lattices
• A semantical study of constructible falsity
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Classical conservative extensions of Lambek calculus
• Constructible falsity
• Constructible falsity and inexact predicates
• Constructive logic with strong negation as a substructural logic
• Constructive logic with strong negation is a substructural logic. I
• Constructive logic with strong negation is a substructural logic. II
• Cut Elimination and Decidability for Classical Lambek Logic
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Finite models of some substructural logics
• scientific article; zbMATH DE number 742720 (Why is no real title available?)
• scientific article; zbMATH DE number 6287598 (Why is no real title available?)
• scientific article; zbMATH DE number 3412605 (Why is no real title available?)
• Intuitionistic logic with strong negation
• Linear logic
• N-lattices and constructive logic with strong negation
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Quantales and (noncommutative) linear logic
• Residuated frames with applications to decidability
• Some lattice models of bilinear logic
• The Mathematics of Sentence Structure
• Untersuchungen über das logische Schliessen. II
• Which structural rules admit cut elimination? An algebraic criterion

Cited in

(4)

• Compatibly involutive residuated lattices and the Nelson identity
• scientific article; zbMATH DE number 3920447 (Why is no real title available?)
• scientific article; zbMATH DE number 4039861 (Why is no real title available?)
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation

This page was built for publication: Strong negation in intuitionistic style sequent systems for residuated lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2922496)