ST and TS as product and sum
From MaRDI portal
Publication:6655118
Cites work
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 120342 (Why is no real title available?)
- scientific article; zbMATH DE number 2109541 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- (I can't get no) antisatisfaction
- A hierarchy of classical and paraconsistent logics
- A model of tolerance
- A non-classical refinement of the interpolation property for classical propositional logic
- An algebraic view of super-Belnap logics
- Characterizing logical consequence in many-valued logic
- Classical logic and the strict tolerant hierarchy
- Conservatively extending classical logic with transparent truth
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Editorial introduction: substructural logics and metainferences
- Inferences and metainferences in \(\mathsf{ST}\)
- Meaningless divisions
- Metainferential duality
- On all strong Kleene generalizations of classical logic
- Relation algebras
- ST, LP and tolerant metainferences
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- THE LATTICE OF SUPER-BELNAP LOGICS
- The final cut
- The logic of paradox
- The logics of strict-tolerant logic
- Tolerant, classical, strict
This page was built for publication: \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6655118)
