Strong negation in intuitionistic style sequent systems for residuated lattices
From MaRDI portal
Publication:2922496
DOI10.1002/malq.201300016zbMath1343.03020OpenAlexW1596140841MaRDI QIDQ2922496
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
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
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