On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B53
@@ Property / Mathematics Subject Classification ID: 03B53 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 03B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G27
@@ Property / Mathematics Subject Classification ID: 03G27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A12
@@ Property / Mathematics Subject Classification ID: 06A12 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6715508
@@ Property / zbMATH DE Number: 6715508 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paraconsistent weak Kleene logic
@@ Property / zbMATH Keywords: paraconsistent weak Kleene logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+three-valued logics
@@ Property / zbMATH Keywords: three-valued logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisemilattices
@@ Property / zbMATH Keywords: bisemilattices / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Płonka sums
@@ Property / zbMATH Keywords: Płonka sums / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract algebraic logic
@@ Property / zbMATH Keywords: abstract algebraic logic / rank @@
+Normal rank
@@ 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-016-9689-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2530868552
@@ Property / OpenAlex ID: W2530868552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4299661
@@ Property / cites work: Q4299661 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation theorem for distributive quasi-lattices
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q5387443
@@ Property / cites work: Q5387443 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772179
@@ Property / cites work: Q5772179 / 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 @@
+Q5215771
@@ Property / cites work: Q5215771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4992398
@@ Property / cites work: Q4992398 / rank @@
+Normal rank
@@ Property / cites work @@
+Involutorial Płonka sums
@@ Property / cites work: Involutorial Płonka sums / rank @@
+Normal rank
@@ Property / cites work @@
+A computational interpretation of conceptivism
@@ Property / cites work: A computational interpretation of conceptivism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonsense logics and their algebraic properties
@@ Property / cites work: Nonsense logics and their algebraic properties / 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 @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+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 @@
+Q3988091
@@ Property / cites work: Q3988091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5800353
@@ Property / cites work: Q5800353 / rank @@
+Normal rank
@@ Property / cites work @@
+A Warning About Translating Axioms
@@ Property / cites work: A Warning About Translating Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Choice of primitives: A note on axiomatizing intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q5695183
@@ Property / cites work: Q5695183 / rank @@
+Normal rank
@@ Property / cites work @@
+Subdirect decomposition of distributive quasilattices
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Identities in Lattices
@@ Property / cites work: Regular Identities in Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3112283
@@ Property / cites work: Q3112283 / rank @@
+Normal rank
@@ Property / cites work @@
+On a method of construction of abstract algebras
@@ Property / cites work: On a method of construction of abstract algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On distributive quad-lattices
@@ Property / cites work: On distributive quad-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on sums of direct systems of algebras
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+On Priest's logic of paradox
@@ Property / cites work: On Priest's logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:526733