Non-deterministic Multiple-valued Structures

DOI10.1093/LOGCOM/EXI001zbMATH Open1070.03010OpenAlexW2073897909MaRDI QIDQ3025337FDOQ3025337

Authors: Arnon Avron, Iddo Lev 

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

Recommendations

• Multi-valued Calculi for Logics Based on Non-determinism
• Logical non-determinism as a tool for logical modularity: an introduction
• Distance-based non-deterministic semantics for reasoning with uncertainty
• scientific article; zbMATH DE number 2196614
• Studying sequent systems via non-deterministic multiple-valued matrices

zbMATH Keywords

uncertaintycompactnessdecidabilityautomated reasoningnon-determinismparaconsistent reasoningMulti-valued logics

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50) Paraconsistent logics (03B53) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Cited In (76)

• From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
• Tableau systems for some Ivlev-like (quantified) modal logics
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• On non-deterministic functional completeness
• On Ivlev's semantics for modality
• Plurivaluationism, semantic nondeterminism and communication
• Sequent-type rejection systems for finite-valued non-deterministic logics
• Rule-elimination theorems
• A note on Ciuciura's \(\mathbf{mbC}^1\)
• Monadicity of non-deterministic logical matrices is undecidable
• 2005–06 Winter Meeting of the Association for Symbolic Logic
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
• Computational properties of partial non-deterministic matrices and their logics
• Quasi-canonical systems and their semantics
• Finite two-dimensional proof systems for non-finitely axiomatizable logics
• Tutorial on Inconsistency-Adaptive Logics
• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• A Note on Calculi for Non-deterministic Many-valued Logics
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• Canonical signed calculi with multi-ary quantifiers
• Processing Information from a Set of Sources
• Title not available (Why is that?)
• Multi-valued Calculi for Logics Based on Non-determinism
• Paraconsistency and the need for infinite semantics
• Informational semantics, non-deterministic matrices and feasible deduction
• Four-valued paradefinite logics
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Three-valued paraconsistent propositional logics
• Towards an algorithmic construction of cut-elimination procedures
• Plug and Play Negations
• Cut-elimination and quantification in canonical systems
• Non-deterministic semantics for logics with a consistency operator
• Analytic tableaux for non-deterministic semantics
• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
• Logical non-determinism as a tool for logical modularity: an introduction
• A family of genuine and non-algebraisable C-systems
• On non-deterministic quantification
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Taming paraconsistent (and other) logics: an algorithmic approach
• Proof systems for reasoning about computation errors
• Classic-Like Analytic Tableaux for Finite-Valued Logics
• Ideal paraconsistent logics
• Hypersequent and display calculi -- a unified perspective
• Studying sequent systems via non-deterministic multiple-valued matrices
• Three-valued logic for reasoning about covering-based rough sets
• An informational view of classical logic
• Multi-valued semantics: why and how
• Swap structures semantics for Ivlev-like modal logics
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• Finite non-deterministic semantics for some modal systems
• Strict canonical constructive systems
• Compositional meaning in logic
• Tools for the investigation of substructural and paraconsistent logics
• Distance-based non-deterministic semantics for reasoning with uncertainty
• Sufficient conditions for cut elimination with complexity analysis
• Reasoning with Uncertainty by Nmatrix–Metric Semantics
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Monstrous content and the bounds of discourse
• On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
• What is a non-truth-functional logic?
• Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
• Axiomatizing non-deterministic many-valued generalized consequence relations
• Non-deterministic logic of informal provability has no finite characterization
• Basic Constructive Connectives, Determinism and Matrix-Based Semantics
• Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• On Axioms and Rexpansions
• On Discourses Addressed by Infidel Logicians
• Finite-valued semantics for canonical labelled calculi
• On matrices, Nmatrices and games
• Implication, Equivalence, and Negation
• Rough sets and 3-valued logics
• An unexpected Boolean connective
• Efficient reasoning with inconsistent information using C-systems

This page was built for publication: Non-deterministic Multiple-valued Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3025337)