Non-deterministic Multiple-valued Structures
From MaRDI portal
Publication:3025337
DOI10.1093/logcom/exi001zbMath1070.03010MaRDI QIDQ3025337
Publication date: 13 July 2005
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/90c4951e54d7fe33f1c50a4250961a4bacd31db9
uncertainty; automated reasoning; compactness; decidability; non-determinism; paraconsistent reasoning; Multi-valued logics
68T37: Reasoning under uncertainty in the context of artificial intelligence
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
03B50: Many-valued logic
03B53: Paraconsistent logics
Related Items
On Discourses Addressed by Infidel Logicians, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06, Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency, Towards an algorithmic construction of cut-elimination procedures, Canonical signed calculi with multi-ary quantifiers, Maximal and premaximal paraconsistency in the framework of three-valued semantics, Ideal paraconsistent logics, Cut-elimination and quantification in canonical systems, Non-deterministic semantics for logics with a consistency operator, Rough sets and 3-valued logics, Proof systems for reasoning about computation errors, Multi-valued semantics: why and how, What is a non-truth-functional logic?, On non-deterministic quantification, A dissimilarity-based framework for generating inconsistency-tolerant logics, Hypersequent and display calculi -- a unified perspective, Sufficient conditions for cut elimination with complexity analysis, Tools for the Investigation of Substructural and Paraconsistent Logics, ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY, Basic Constructive Connectives, Determinism and Matrix-Based Semantics, Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism, 2005–06 Winter Meeting of the Association for Symbolic Logic, Reasoning with Uncertainty by Nmatrix–Metric Semantics, Strict Canonical Constructive Systems, Processing Information from a Set of Sources, Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination, Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data, Classic-Like Analytic Tableaux for Finite-Valued Logics, Possible-translations semantics for some weak classically-based paraconsistent logics
