COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/jsl.2015.39
+Normal rank
@@ Property / OpenAlex ID @@
+W2467699372
@@ Property / OpenAlex ID: W2467699372 / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz-linked pairs of deductive systems
@@ Property / cites work: Leibniz-linked pairs of deductive systems / 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 @@
+On the infinite-valued Łukasiewicz logic that preserves degrees of truth
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Trends in logic. 50 years of Studia Logica
@@ Property / cites work: Trends in logic. 50 years of Studia Logica / rank @@
+Normal rank
@@ Property / cites work @@
+The Suszko operator. I
@@ Property / cites work: The Suszko operator. I / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
+Normal rank
@@ Property / cites work @@
+Q4530155
@@ Property / cites work: Q4530155 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing equivalential and algebraizable logics by the Leibniz operator
+Normal rank
@@ Property / cites work @@
+On the closure properties of the class of full G-models of a deductive system
+Normal rank
@@ Property / cites work @@
+Leibniz filters and the strong version of a protoalgebraic logic
+Normal rank