A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168): Difference between revisions

@@ Property / arXiv ID @@
+.01661
@@ Property / arXiv ID: 1908.01661 / rank @@
+Normal rank
@@ Property / cites work @@
+Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4465171
@@ Property / cites work: Q4465171 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of distributive bilattices
@@ Property / cites work: The logic of distributive bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of deduction theorems
@@ Property / cites work: Algebraic aspects of deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Local deductions theorems
@@ Property / cites work: Local deductions theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Suszko operator. I
@@ Property / cites work: The Suszko operator. I / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly algebraizable logics
@@ Property / cites work: Weakly algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean logics
@@ Property / cites work: Fregean logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean logics with the multiterm deduction theorem and their algebraization
+Normal rank
@@ Property / cites work @@
+Q3435249
@@ Property / cites work: Q3435249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Update to ``A survey of abstract algebraic logic''
+Normal rank
@@ Property / cites work @@
+Logics of varieties, logics of semilattices and conjunction
+Normal rank
@@ Property / cites work @@
+A note on congruences of semilattices with sectionally finite height.
+Normal rank
@@ Property / cites work @@
+Algebraic logic for classical conjunction and disjunction
+Normal rank
@@ Property / cites work @@
+Q4271951
@@ Property / cites work: Q4271951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4889848
@@ Property / cites work: Q4889848 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing equivalential and algebraizable logics by the Leibniz operator
+Normal rank
@@ Property / cites work @@
+A computational glimpse at the Leibniz and Frege hierarchies
+Normal rank
@@ Property / cites work @@
+The proof by cases property and its variants in structural consequence relations
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on the algebra of logic
@@ Property / cites work: A perspective on the algebra of logic / rank @@
+Normal rank
@@ Property / cites work @@
+On reduced matrices
@@ Property / cites work: On reduced matrices / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2806319911
@@ Property / OpenAlex ID: W2806319911 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129709392
@@ Property / Wikidata QID: Q129709392 / rank @@
+Normal rank