A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
type: Item
instance of: scholarly article
title: A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
zbMATH Open document ID: 0816.03012
DOI: 10.1007/BF00881958
author: Marcello D'Agostino
author: Dov Gabbay
published in: Journal of Automated Reasoning
publication date: 1995-02-22T00:00:00Z
review text: Several implicational propositional systems with restricted structural rules (for example linear and relevant implication) are presented in terms of labelled deduction systems introduced by the second author.
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 724143
zbMATH Keywords: implicational propositional systems with restricted structural rules
zbMATH Keywords: labelled deduction systems
reviewed by: G. E. Mints
MaRDI profile type: Publication
cites work: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
cites work: Q4085699
cites work: Kripke models for linear logic
cites work: The semantics and proof theory of linear logic
cites work: Simple consequence relations
cites work: Q4282596
cites work: Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
cites work: The Taming of the Cut. Classical Refutations with Analytic Cut
cites work: Sequent-systems and groupoid models. I
cites work: Sequent-systems and groupoid models. II
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Proof methods for modal and intuitionistic logics
cites work: Decidability results in non-classical logics
cites work: Q4940717
cites work: Relevant analytic tableaux
cites work: Q4940727
cites work: Q3996704
cites work: Q4077984
cites work: A semantical analysis of implicational system I and of the first degree of entailment
cites work: Q4940726
cites work: Q4732137
cites work: Semantics for relevant logics
cites work: Q3999539
full work available at URL: https://doi.org/10.1007/bf00881958
OpenAlex ID: W2037991894
description: scientific article; zbMATH DE number 724143