Selfextensional logics with a distributive nearlattice term (Q1712939): Difference between revisions

@@ Property / Wikidata QID @@
+Q58887358
@@ Property / Wikidata QID: Q58887358 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05925
@@ Property / arXiv ID: 1704.05925 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556401
@@ Property / cites work: Q5556401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532577
@@ Property / cites work: Q5532577 / rank @@
+Normal rank
@@ Property / cites work @@
+Independent axiom systems for nearlattices
@@ Property / cites work: Independent axiom systems for nearlattices / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
+Normal rank
@@ Property / cites work @@
+Stone style duality for distributive nearlattices
@@ Property / cites work: Stone style duality for distributive nearlattices / rank @@
+Normal rank
@@ Property / cites work @@
+ON HOMOMORPHIC IMAGES AND THE FREE DISTRIBUTIVE LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE
+Normal rank
@@ Property / cites work @@
+Q5293965
@@ Property / cites work: Q5293965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5446633
@@ Property / cites work: Q5446633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3596229
@@ Property / cites work: Q3596229 / rank @@
+Normal rank
@@ Property / cites work @@
+Nearlattices
@@ Property / cites work: Nearlattices / rank @@
+Normal rank
@@ Property / cites work @@
+The proof by cases property and its variants in structural consequence relations
+Normal rank
@@ Property / cites work @@
+Weakly distributive semilattices
@@ Property / cites work: Weakly distributive semilattices / 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 @@
+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 @@
+Fregean logics
@@ Property / cites work: Fregean logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4450439
@@ Property / cites work: Q4450439 / rank @@
+Normal rank
@@ Property / cites work @@
+Taking degrees of truth seriously
@@ Property / cites work: Taking degrees of truth seriously / rank @@
+Normal rank
@@ Property / cites work @@
+Q2888156
@@ Property / cites work: Q2888156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+On the infinite-valued Łukasiewicz logic that preserves degrees of truth
+Normal rank
@@ Property / cites work @@
+Leibniz filters and the strong version of a protoalgebraic logic
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in Partially Ordered Sets
@@ Property / cites work: Ideals in Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+The free distributive semilattice extension of a distributive poset
+Normal rank
@@ Property / cites work @@
+The logic of distributive nearlattices
@@ Property / cites work: The logic of distributive nearlattices / rank @@
+Normal rank
@@ Property / cites work @@
+Join algebras
@@ Property / cites work: Join algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311056
@@ Property / cites work: Q5311056 / rank @@
+Normal rank
@@ Property / cites work @@
+Selfextensional logics with a conjunction
@@ Property / cites work: Selfextensional logics with a conjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics with a strong conjunction and their semi-lattice based companions
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics preserving degrees of truth
@@ Property / cites work: Logics preserving degrees of truth / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142030
@@ Property / cites work: Q3142030 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with disjunction and proof by cases
@@ Property / cites work: Logics with disjunction and proof by cases / rank @@
+Normal rank