Non-deterministic Multiple-valued Structures
From MaRDI portal
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
(90)- 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?
- Compositional meaning in logic
- Four-valued paradefinite logics
- Non-deterministic logic of informal provability has no finite characterization
- Finite two-dimensional proof systems for non-finitely axiomatizable logics
- Analytic tableaux for non-deterministic semantics
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Computational properties of partial non-deterministic matrices and their logics
- An unexpected Boolean connective
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- On non-deterministic quantification
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Hypersequent and display calculi -- a unified perspective
- Paraconsistency and the need for infinite semantics
- Swap structures semantics for Ivlev-like modal logics
- Finite-valued semantics for canonical labelled calculi
- Sufficient conditions for cut elimination with complexity analysis
- Monstrous content and the bounds of discourse
- On matrices, Nmatrices and games
- Informational semantics, non-deterministic matrices and feasible deduction
- 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
- Taming paraconsistent (and other) logics: an algorithmic approach
- Logical non-determinism as a tool for logical modularity: an introduction
- Basic Constructive Connectives, Determinism and Matrix-Based Semantics
- Plug and Play Negations
- Distance-based non-deterministic semantics for reasoning with uncertainty
- 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
- Canonical signed calculi with multi-ary quantifiers
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Studying sequent systems via non-deterministic multiple-valued matrices
- Finite non-deterministic semantics for some modal systems
- On Discourses Addressed by Infidel Logicians
- A family of genuine and non-algebraisable C-systems
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- On Axioms and Rexpansions
- A Note on Calculi for Non-deterministic Many-valued Logics
- Implication, Equivalence, and Negation
- A note on Ciuciura's \(\mathbf{mbC}^1\)
- Tutorial on Inconsistency-Adaptive Logics
- Three-valued paraconsistent propositional logics
- Three-valued logic for reasoning about covering-based rough sets
- Efficient reasoning with inconsistent information using C-systems
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
- scientific article; zbMATH DE number 2196614 (Why is no real title available?)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- 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
- Multi-valued Calculi for Logics Based on Non-determinism
- Computational properties of finite PNmatrices
- Sequent-type rejection systems for finite-valued non-deterministic logics
- Quasi-canonical systems and their semantics
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Ideal paraconsistent logics
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- On non-deterministic functional completeness
- Tableau systems for some Ivlev-like (quantified) modal logics
- Plurivaluationism, semantic nondeterminism and communication
- On Ivlev's semantics for modality
- Rule-elimination theorems
- Monadicity of non-deterministic logical matrices is undecidable
- The modal cube revisited: semantics without worlds
- A modal axiomatization of \(\mathbf{BK}\)
- Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
- Some more theorems on structural entailment relations and non-deterministic semantics
- RNmatrices for modal logics
- Probabilistic semantics and calculi for multi-valued and paraconsistent logics
- Modal logics -- RNmatrices vs. Nmatrices
- Ivlev-like modal logics of formal inconsistency obtained by fibring swap structures
- Combining swap structures: the case of paradefinite Ivlev-like modal logics based on FDE
- Meet-combination of consequence systems
- Beyond quantum individuals: Quasi-sets and the philosophy of quantum logics
- Hyperconnexivity, compositionality and non-deterministic semantics
- Nondeterministic first-order T-BAT logic
- Cut-elimination and quantification in canonical systems
- An informational view of classical logic
- Non-deterministic semantics for logics with a consistency operator
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)
