About some symmetries of negation
From MaRDI portal
Publication:4302346
Recommendations
Cited in
(11)- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- scientific article; zbMATH DE number 1160599 (Why is no real title available?)
- First-order theories for pure Prolog programs with negation
- Metainferential duality
- Gentzen in the 3- and 4-valued jungle
- Derivability and metainferential validity
- Valuations: bi, tri, and tetra
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
- Metasequents and tetravaluations
- Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
- Structural proof theory for first-order weak Kleene logics
This page was built for publication: About some symmetries of negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4302346)