Fibred tableaux for multi-implication logics

DOI10.1007/3-540-61208-4_2zbMATH Open1415.03020OpenAlexW2165627128MaRDI QIDQ4645223FDOQ4645223

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

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

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)