SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen-type methods for bilattice negation
@@ Property / cites work: Gentzen-type methods for bilattice negation / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Hyper-contradictions, generalized truth values and logics of truth and falsehood
+Normal rank
@@ Property / cites work @@
+Some useful 16-valued logics: How a computer network should think
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
+Normal rank
@@ Property / cites work @@
+On axiomatizing Shramko-Wansing's logic
@@ Property / cites work: On axiomatizing Shramko-Wansing's 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 @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank