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