A non-deterministic view on non-classical negations (Q813081): 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-005-8468-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1998439738
@@ Property / OpenAlex ID: W1998439738 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+On an implication connective of RM
@@ Property / cites work: On an implication connective of RM / rank @@
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q3112289
@@ Property / cites work: Q3112289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539639
@@ Property / cites work: Q4539639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329282
@@ Property / cites work: Q4329282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487295
@@ Property / cites work: Q4487295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329287
@@ Property / cites work: Q4329287 / rank @@
+Normal rank
@@ Property / cites work @@
+Limits for paraconsistent calculi
@@ Property / cites work: Limits for paraconsistent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Kleene's Logic, Generalized
@@ Property / cites work: Kleene's Logic, Generalized / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296301
@@ Property / cites work: Q4296301 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715522
@@ Property / cites work: Q2715522 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional sequence-calculi for inconsistent systems
+Normal rank
@@ Property / cites work @@
+On interpretation of inconsistent theories
@@ Property / cites work: On interpretation of inconsistent theories / rank @@
+Normal rank
@@ Property / cites work @@
+Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
+Normal rank