Logical non-determinism as a tool for logical modularity: an introduction
From MaRDI portal
Recommendations
Cited in
(24)- Rough sets and 3-valued logics
- Multi-valued semantics: why and how
- Computational properties of partial non-deterministic matrices and their logics
- An unexpected Boolean connective
- On non-deterministic quantification
- On matrices, Nmatrices and games
- Sequent systems for nondeterministic propositional logics without reflexivity
- Taming paraconsistent (and other) logics: an algorithmic approach
- Non-deterministic Multiple-valued Structures
- Distance-based non-deterministic semantics for reasoning with uncertainty
- Processing Information from a Set of Sources
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
- Canonical signed calculi with multi-ary quantifiers
- Studying sequent systems via non-deterministic multiple-valued matrices
- Finite non-deterministic semantics for some modal systems
- Modal logic with non-deterministic semantics. I: Propositional case
- Three-valued logic for reasoning about covering-based rough sets
- scientific article; zbMATH DE number 2196614 (Why is no real title available?)
- Multi-valued Calculi for Logics Based on Non-determinism
- Computational properties of finite PNmatrices
- Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Modular many-valued semantics for combined logics
- A non-deterministic view on non-classical negations
This page was built for publication: Logical non-determinism as a tool for logical modularity: an introduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007244)
