Structural rule
![Arxiv:2104.09716V1 [Cs.LO] 20 Apr 2021 Redistribution](http://data.docslib.org/img/264x/27f9a674b8de5371e425b0b269166f89.webp)
Top View
- ON DIALOGUES and ONTOLOGY the DIALOGICAL APPROACH to FREE LOGIC Shahid Rahman, Helge Rückert, M
- Linear Logic Pages
- Uva-DARE (Digital Academic Repository)
- Negri, S and Von Plato, J Structural Proof Theory
- A Natural Interpretation of Classical Proofs
- Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap
- Radical Anti-Realism and Substructural Logics Jacques Dubucs, Mathieu Marion
- A Reconstruction of Ex Falso Quodlibet Via Quasi-Multiple-Conclusion Natural Deduction
- Fuzzy Sets and Formal Logics
- Metasequents and Tetravaluations
- When Conditional Logic and Belief Revision Meet Substructural Logics∗
- Proof Theory: from Arithmetic to Set Theory
- Dynamic Epistemic Logic As a Substructural Logic Guillaume Aucher
- On the Insufficiency of Ontologies: Problems in Knowledge Sharing And
- Remarks on Barr's Theorem: Proofs in Geometric Theories
- Chapter 2 Linear Logic
- Intuitionistic Logic and Elementary Rules
- Paraconsistent Logic for Dialethic Arithmetics by Andrew Tedder A