Valuation semantics for first-order logics of evidence and truth (Q2079711): Difference between revisions

@@ Property / author @@
+Walter Alexandre Carnielli
@@ Property / author: Walter Alexandre Carnielli / rank @@
+Normal rank
@@ Property / author @@
+Marcelo E. Coniglio
@@ Property / author: Marcelo E. Coniglio / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4283035049
@@ Property / OpenAlex ID: W4283035049 / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
+Normal rank
@@ Property / cites work @@
+A semantical analysis of the calculi \(C_n\)
@@ Property / cites work: A semantical analysis of the calculi \(C_n\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028982
@@ Property / cites work: Q3028982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893900
@@ Property / cites work: Q3893900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342543
@@ Property / cites work: Q3342543 / rank @@
+Normal rank
@@ Property / cites work @@
+How a Computer Should Think
@@ Property / cites work: How a Computer Should Think / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic: consistency, contradiction and negation
+Normal rank
@@ Property / cites work @@
+ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
+Normal rank
@@ Property / cites work @@
+First degree entailments
@@ Property / cites work: First degree entailments / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+New Essays on Belnap-Dunn Logic
@@ Property / cites work: New Essays on Belnap-Dunn Logic / rank @@
+Normal rank
@@ Property / cites work @@
+years of FDE: an introductory overview
@@ Property / cites work: 40 years of FDE: an introductory overview / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic information and the correctness theory of truth
+Normal rank
@@ Property / cites work @@
+The Logic of Information
@@ Property / cites work: The Logic of Information / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Recovery operators, paraconsistency and duality
@@ Property / cites work: Recovery operators, paraconsistency and duality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367515
@@ Property / cites work: Q3367515 / rank @@
+Normal rank
@@ Property / cites work @@
+An epistemic approach to paraconsistency: a logic of evidence and truth
+Normal rank
@@ Property / cites work @@
+Formal inconsistency and evolutionary databases
@@ Property / cites work: Formal inconsistency and evolutionary databases / rank @@
+Normal rank
@@ Property / cites work @@
+A paraconsistent logic programming approach for querying inconsistent databases
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+An expansion of first-order Belnap-Dunn logic
@@ Property / cites work: An expansion of first-order Belnap-Dunn logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677463
@@ Property / cites work: Q5677463 / rank @@
+Normal rank
@@ Property / cites work @@
+The Fregean axiom and Polish mathematical logic in the \(1920^s\)
+Normal rank
@@ Property / cites work @@
+Q4289329
@@ Property / cites work: Q4289329 / rank @@
+Normal rank