Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496): Difference between revisions

@@ Property / DOI @@
-.1002/malq.201300016
@@ Property / DOI: 10.1002/malq.201300016 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.201300016
+Normal rank
@@ Property / OpenAlex ID @@
+W1596140841
@@ Property / OpenAlex ID: W1596140841 / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
+Normal rank
@@ Property / cites work @@
+Classical conservative extensions of Lambek calculus
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Logic with Strong Negation as a Substructural Logic
+Normal rank
@@ Property / cites work @@
+Finite Models of Some Substructural Logics
@@ Property / cites work: Finite Models of Some Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated frames with applications to decidability
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination and Decidability for Classical Lambek Logic
+Normal rank
@@ Property / cites work @@
+Proof theory of Nelson's paraconsistent logic: a uniform perspective
+Normal rank
@@ Property / cites work @@
+Cyclic Involutive Distributive Full Lambek Calculus is Decidable
+Normal rank
@@ Property / cites work @@
+Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327830
@@ Property / cites work: Q4327830 / rank @@
+Normal rank
@@ Property / cites work @@
+Some lattice models of bilinear logic
@@ Property / cites work: Some lattice models of bilinear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677463
@@ Property / cites work: Q5677463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411445
@@ Property / cites work: Q5411445 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. II
+Normal rank
@@ Property / cites work @@
+Which structural rules admit cut elimination? An algebraic criterion
+Normal rank
@@ Property / cites work @@
+A semantical study of constructible falsity
@@ Property / cites work: A semantical study of constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+A Gentzen system for involutive residuated lattices
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1002/MALQ.201300016
@@ Property / DOI: 10.1002/MALQ.201300016 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2922496