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