Substructural logic
Top View
- A Sequent Calculus for Constructive Logic with Strong Negation As a Substructural Logic
- A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic
- Substructural Logics and Residuated Lattices — an Introduction
- Substructural Logics and Pragmatic Enrichment
- Short Papers Advances in Modal Logic Aiml 2020 Ii
- An Introduction to Proof Theory Class 2: Substructural Logics
- Reasoning About Knowledge in Linear Logic: Modalities and Complexity
- When Conditional Logic and Belief Revision Meet Substructural Logics∗
- A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic
- Extended Kripke Lemma and Decidability for Hypersequent Substructural Logics
- Dynamic Epistemic Logic As a Substructural Logic Guillaume Aucher
- On the Insufficiency of Ontologies: Problems in Knowledge Sharing And
- Logical Instrumentalism
- Substructural Fuzzy-Relevance Logic⇤
- Defining Formal Explanation in Classical Logic by Substructural Derivability Francesco Genco, Francesca Poggiolesi
- A Hierarchy of Classical and Paraconsistent Logics
- A Drug Interaction Ontology We Refer to This Dynamic Ontology "Rhizome Type Ontology" As Described by Deleuze & Guattari6
- Linear Logic and Imperative Programming