Strong negation in intuitionistic style sequent systems for residuated lattices

DOI10.1002/malq.201300016zbMath1343.03020OpenAlexW1596140841MaRDI QIDQ2922496

Michał Kozak

Publication date: 10 October 2014

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

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

Mathematics Subject Classification ID

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

Related Items

Compatibly involutive residuated lattices and the Nelson identity

Cites Work

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

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