What is a non-truth-functional logic? (Q1037600): Difference between revisions

@@ Property / Wikidata QID @@
+Q61593364
@@ Property / Wikidata QID: Q61593364 / 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-009-9196-z
+Normal rank
@@ Property / OpenAlex ID @@
+W1992450048
@@ Property / OpenAlex ID: W1992450048 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-deterministic view on non-classical negations
+Normal rank
@@ Property / cites work @@
+Q3112289
@@ Property / cites work: Q3112289 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3586991
@@ Property / cites work: Q3586991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311062
@@ Property / cites work: Q5311062 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring non-truth-functional logics: Completeness preservation
+Normal rank
@@ Property / cites work @@
+Classic-Like Analytic Tableaux for Finite-Valued Logics
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / cites work @@
+Q3007252
@@ Property / cites work: Q3007252 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on a property of matrices for Lewis and Langford's calculi of propositions
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and super-valuations
@@ Property / cites work: Completeness and super-valuations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth, belief, and vagueness
@@ Property / cites work: Truth, belief, and vagueness / rank @@
+Normal rank
@@ Property / cites work @@
+Bridges between Classical and Nonmonotonic Logic
@@ Property / cites work: Bridges between Classical and Nonmonotonic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4025003
@@ Property / cites work: Q4025003 / rank @@
+Normal rank
@@ Property / cites work @@
+Possible-translations semantics for some weak classically-based paraconsistent logics
+Normal rank
@@ Property / cites work @@
+The theory of truth tabular connectives, both truth functional and modal
+Normal rank
@@ Property / cites work @@
+On the structure of paraconsistent extensions of Johansson's logic
+Normal rank
@@ Property / cites work @@
+Quasi-truth-functional systems of propositional logic
+Normal rank
@@ Property / cites work @@
+Deducibility and many-valuedness
@@ Property / cites work: Deducibility and many-valuedness / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of connectives
@@ Property / cites work: The independence of connectives / rank @@
+Normal rank
@@ Property / cites work @@
+On the Concept of Following Logically
@@ Property / cites work: On the Concept of Following Logically / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ Property / cites work @@
+Q3347857
@@ Property / cites work: Q3347857 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1037600