The strong version of a sentential logic (Q1680515): 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.1007/s11225-017-9709-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2593401383
@@ Property / OpenAlex ID: W2593401383 / rank @@
+Normal rank
@@ Property / cites work @@
+An infinity of super-Belnap logics
@@ Property / cites work: An infinity of super-Belnap logics / rank @@
+Normal rank
@@ Property / cites work @@
+COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
+Normal rank
@@ Property / cites work @@
+Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+An algebraic view of super-Belnap logics
@@ Property / cites work: An algebraic view of super-Belnap logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / 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 @@
+A new semantics for positive modal logic
@@ Property / cites work: A new semantics for positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattices with strict implication
+Normal rank
@@ Property / cites work @@
+Note on algebraic models for relevance logic
@@ Property / cites work: Note on algebraic models for relevance logic / rank @@
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4450439
@@ Property / cites work: Q4450439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411411
@@ Property / cites work: Q5411411 / 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 @@
+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 @@
+Algebraic study of two deductive systems of relevance logic
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q4530155
@@ Property / cites work: Q4530155 / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz filters revisited
@@ Property / cites work: Leibniz filters revisited / 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 @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Nothing but the truth
@@ Property / cites work: Nothing but the truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness in relevance logics
@@ Property / cites work: Structural completeness in relevance logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791124
@@ Property / cites work: Q3791124 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1680515