Logical non-determinism as a tool for logical modularity: an introduction
From MaRDI portal
Recommendations
Cited in
(21)- Sequent systems for nondeterministic propositional logics without reflexivity
- Canonical signed calculi with multi-ary quantifiers
- Processing Information from a Set of Sources
- scientific article; zbMATH DE number 2196614 (Why is no real title available?)
- Multi-valued Calculi for Logics Based on Non-determinism
- A non-deterministic view on non-classical negations
- Modular many-valued semantics for combined logics
- Modal logic with non-deterministic semantics. I: Propositional case
- On non-deterministic quantification
- Taming paraconsistent (and other) logics: an algorithmic approach
- Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
- Studying sequent systems via non-deterministic multiple-valued matrices
- Three-valued logic for reasoning about covering-based rough sets
- Multi-valued semantics: why and how
- Finite non-deterministic semantics for some modal systems
- Distance-based non-deterministic semantics for reasoning with uncertainty
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Non-deterministic Multiple-valued Structures
- On matrices, Nmatrices and games
- Rough sets and 3-valued logics
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)
