Non-deterministic semantics in polynomial format
From MaRDI portal
(Redirected from Publication:281146)
Recommendations
Cites work
- Formal polynomials, heuristics and proofs in logic
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logics of formal inconsistency
- Non-deterministic semantics for logics with a consistency operator
- Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
Cited in
(3)
This page was built for publication: Non-deterministic semantics in polynomial format
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281146)