Non-deterministic matrices and modular semantics of rules
From MaRDI portal
Recommendations
Cited in
(36)- Behavioral algebraization of logics
- Multi-valued semantics: why and how
- Finite two-dimensional proof systems for non-finitely axiomatizable logics
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Swap structures semantics for Ivlev-like modal logics
- Negative modalities, consistency and determinedness
- Logical non-determinism as a tool for logical modularity: an introduction
- Non-deterministic Multiple-valued Structures
- Algebraic Valuations as Behavioral Logical Matrices
- Abstract valuation semantics
- Reachability in Petri nets with inhibitor arcs
- On Axioms and Rexpansions
- Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
- Modular non-deterministic semantics for T, TB, S4, S5 and more
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- A note on Ciuciura's \(\mathbf{mbC}^1\)
- Tutorial on Inconsistency-Adaptive Logics
- Efficient reasoning with inconsistent information using C-systems
- Two, Many, and Differently Many
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- Multi-valued Calculi for Logics Based on Non-determinism
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
- From Inconsistency to Incompatibility
- On non-deterministic functional completeness
- Duality for bounded distributive hyperlattice negatively ordered commutative monoids
- A modal axiomatization of \(\mathbf{BK}\)
- A new completeness proof at the propositional level for mbC and some of its extensions
- Some more theorems on structural entailment relations and non-deterministic semantics
- Congruence filter pairs, equational filter pairs and adjoints
- Ivlev-like modal logics of formal inconsistency obtained by fibring swap structures
- From Jaśkowski's discussive logic to contemporary paraconsistent systems
- On a four-valued logic of formal inconsistency and formal undeterminedness
- Nondeterministic first-order T-BAT logic
- Boolean and modal connectives as primitives in non-deterministic semantics
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Non-deterministic semantics for logics with a consistency operator
This page was built for publication: Non-deterministic matrices and modular semantics of rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311061)
