DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Substructural logic
Substructural logic
LOGIC BIBLIOGRAPHY up to 2008
Relevant and Substructural Logics
From Axioms to Rules — a Coalition of Fuzzy, Linear and Substructural Logics
Bunched Hypersequent Calculi for Distributive Substructural Logics
Lecture Notes on Constructive Logic: Overview
Applications of Non-Classical Logic Andrew Tedder University of Connecticut - Storrs,
[email protected]
Substructural Logics
Focus-Preserving Embeddings of Substructural Logics in Intuitionistic Logic
Modal Translation of Substructural Logics
What Is a Paraconsistent Logic?
Logics for Collective Reasoning
Adam Rieger and Gareth Young (Editors), Dialetheism and Its Applications, Trends in Logic 52, Springer, 2019, 176Pp., $89,00, Hardcover, ISBN 9783030302207
Icpr2011.Pdf
3.5 Priest's Dialetheism
Substructural Simple Type Theories for Separation and In-Place Update
Substructural Epistemic Logics
J. Michael Dunn and Greg Restall
Modal Linear Logic in Higher Order Logic an Experiment with COQ
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
Substructural Logics
On the Role of Logic in Analytic Theology
Logic A-Z from Wikipedia, the Free Encyclopedia Chapter 1
Bunched Hypersequent Calculi for Distributive Substructural Logics
Australasian Journal of Logic