DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Structural rule
Structural rule
Implicit Versus Explicit Knowledge in Dialogical Logic Manuel Rebuschi
Relevant and Substructural Logics
From Axioms to Rules — a Coalition of Fuzzy, Linear and Substructural Logics
Bunched Hypersequent Calculi for Distributive Substructural Logics
Applications of Non-Classical Logic Andrew Tedder University of Connecticut - Storrs,
[email protected]
Chapter I: Introduction to Mathematical Fuzzy Logic
Homotopy Type-Theoretic Interpretations of Constructive Set Theories
Linear Logic and Noncommutativity in the Calculus of Structures
Arxiv:2104.09716V1 [Cs.LO] 20 Apr 2021 Redistribution
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
Normal Proofs, Cut Free Derivations and Structural Rules
CUT-FREE HYPERSEQUENT CALCULUS for S4.3. 1. Introduction
3.5 Priest's Dialetheism
CONSTRUCTIVE TYPE THEORY and the DIALOGICAL Rules for Dialectical Games Presented in the Topics (Θ, 2, 157A 34 and 3 APPROACH to MEANING 8,160B)
Rule Modeling and Markup
Cut As Consequence
Normalized Naive Set Theory
Linear Type Theories, Semantics and Action Calculi
Top View
(I Can't Get No) Antisatisfaction
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
Residuated Frames with Applications to Decidability Nikolaos Galatos University of Denver
Structure Theory for Dialogues That Could Help Shed Light on the Problem of Precisely What Is the Force of Various Dialogue Rules
Multi-Type Display Calculus for Dynamic Epistemic Logic Sabine Frittella Aix-Marseille Université
Chapter 12: Gentzen Sequent Calculus for Intuitionistic Logic
Structural Cut Elimination
Hypersequent and Display Calculi – a Unified Perspective
From Axioms to Analytic Rules in Nonclassical Logics
A Judgmental Analysis of Linear Logic
A Free Dialogical Logic for Surrogate Reasoning: Generation of Hypothesis Without Ontological Commitments
Bunched Hypersequent Calculi for Distributive Substructural Logics
Is the Liar Sentence Both True and False? (PDF)
Constructive Type Theory and the Dialogical Approach To
From Axioms to Proof Rules, Then Add Quantifiers
Dynamic Epistemic Logic in Update Logic Guillaume Aucher
Structural Cut Elimination in Linear Logic
Implementing Cantor's Paradise
Hypersequent Calculi for Some Intermediate Logics with Bounded Kripke Models
Hypersequent Calculi for Modal Logics
CHAPTER 12 Gentzen Proof System for Intuitionistic Logic 1 LI