Fibred tableaux for multi-implication logics

Redirect to:

• 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 operatorelimination ruleimplication systemstructural rulesubstructural logic

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

• 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
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Linear logic
• Proof methods for modal and intuitionistic logics
• Semantics for relevant logics
• The semantics and proof theory of linear logic
• The Taming of the Cut. Classical Refutations with Analytic Cut

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)