Fibred tableaux for multi-implication logics

DOI10.1007/3-540-61208-4_2MaRDI QIDQ4645223zbMATH OpenOpenAlexFDO

Authors Marcello D'Agostino, Dov 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

composition operatorsubstructural logicelimination rulestructural ruleimplication system

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• Combining temporal logic systems
• Fibred semantics for feature-based grammar logic
• Grafting modalities onto substructural implication systems
• Linear logic
• Proof methods for modal and intuitionistic logics
• Semantics for relevant logics
• The Taming of the Cut. Classical Refutations with Analytic Cut
• The semantics and proof theory of linear logic

Cited in

(1)

• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645223)