Fibred tableaux for multi-implication logics

DOI10.1007/3-540-61208-4_2zbMath1415.03020OpenAlexW2165627128MaRDI QIDQ4645223

Marcello D'Agostino, Dov M. Gabbay

Publication date: 10 January 2019

Published in: Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61208-4_2

zbMATH Keywords

substructural logiccomposition operatorelimination rulestructural ruleimplication system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Linear logic
• Proof methods for modal and intuitionistic logics
• The semantics and proof theory of linear logic
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• Grafting modalities onto substructural implication systems
• Combining temporal logic systems
• Fibred semantics for feature-based grammar logic
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Semantics for relevant logics

This page was built for publication: Fibred tableaux for multi-implication logics