Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396): Difference between revisions

@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices with Interior and Closure Operators and Abstract Approximation Spaces
+Normal rank
@@ Property / cites work @@
+Useful Four-Valued Extension of the Temporal Logic KtT4
+Normal rank
@@ Property / cites work @@
+Q5869602
@@ Property / cites work: Q5869602 / rank @@
+Normal rank
@@ Property / cites work @@
+On a multilattice analogue of a hypersequent S5 calculus
+Normal rank
@@ Property / cites work @@
+Two proofs of the algebraic completeness theorem for multilattice logic
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+Normal rank
@@ Property / cites work @@
+LINEAR TIME IN HYPERSEQUENT FRAMEWORK
@@ Property / cites work: LINEAR TIME IN HYPERSEQUENT FRAMEWORK / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
+Normal rank
@@ Property / cites work @@
+Embedding from multilattice logic into classical logic and vice versa
+Normal rank
@@ Property / cites work @@
+Modal multilattice logic
@@ Property / cites work: Modal multilattice logic / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of generalized truth values and the logic of bilattices
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth, Falsehood, Information and Beyond: The American Plan Generalized
+Normal rank
@@ Property / cites work @@
+The Trilattice of Constructive Truth Values
@@ Property / cites work: The Trilattice of Constructive Truth Values / rank @@
+Normal rank
@@ Property / cites work @@
+Some useful 16-valued logics: How a computer network should think
+Normal rank
@@ Property / cites work @@
+Truth and falsehood. An inquiry into generalized logical values
+Normal rank
@@ Property / cites work @@
+First-degree entailment and its relatives
@@ Property / cites work: First-degree entailment and its relatives / rank @@
+Normal rank
@@ Property / cites work @@
+A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
+Normal rank