A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics

DOI10.1007/BF00881958zbMATH Open0816.03012OpenAlexW2037991894MaRDI QIDQ1344886FDOQ1344886

Authors: Marcello D'Agostino, Dov Gabbay 

Publication date: 22 February 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881958

zbMATH Keywords

implicational propositional systems with restricted structural ruleslabelled deduction systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Cites Work

• The semantics and proof theory of linear logic
• Kripke models for linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simple consequence relations
• Proof methods for modal and intuitionistic logics
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Sequent-systems and groupoid models. I
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Semantics for relevant logics
• Title not available (Why is that?)
• Sequent-systems and groupoid models. II
• A semantical analysis of implicational system I and of the first degree of entailment
• Decidability results in non-classical logics
• Relevant analytic tableaux
• Title not available (Why is that?)

Cited In (16)

• Using tableaux to automate the Lambek and other categorial calculi
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• Truth-values as labels: a general recipe for labelled deduction
• Labelling ideality and subideality
• Representing scope in intuitionistic deductions
• The universe of approximations
• Distributed modal theorem proving with KE
• Fibred tableaux for multi-implication logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Grammar specification in categorial logics and theorem proving
• Title not available (Why is that?)
• The universe of propositional approximations
• Relational semantics and a relational proof system for full Lambek calculus
• Proof-search in type-theoretic languages: An introduction

This page was built for publication: A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics

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