Algebraic proof theory: hypersequents and hypercompletions
type: Item
instance of: scholarly article
title: Algebraic proof theory: hypersequents and hypercompletions
zbMATH Open document ID: 1422.03038
author: Agata Ciabattoni
author: Nikolaos Galatos
author: Kazushige Terui
published in: Annals of Pure and Applied Logic
publication date: 2016-12-23T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6668383
zbMATH Keywords: substructural logic
zbMATH Keywords: hypersequent calculus
zbMATH Keywords: residuated lattice
zbMATH Keywords: substructural hierarchy
zbMATH Keywords: residuated frame
zbMATH Keywords: algebraic completion
MaRDI profile type: Publication
full work available at URL: j.apal.2016.10.012
OpenAlex ID: W2534514413
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: A constructive analysis of RM
cites work: Hypersequents, logical consequence and intermediate logics for concurrency
cites work: Algebraic aspects of cut elimination
cites work: Display logic
cites work: Q4652057
cites work: Bounded Proofs and Step Frames
cites work: The bounded proof property via step algebras and step frames
cites work: THE STRUCTURE OF RESIDUATED LATTICES
cites work: Q3934450
cites work: MacNeille completions of FL-algebras
cites work: Algebraic proof theory for substructural logics: cut-elimination and completions
cites work: Power and Limits of Structural Display Rules
cites work: Towards a semantic characterization of cut-elimination
cites work: The proof by cases property and its variants in structural consequence relations
cites work: Algorithmic correspondence and canonicity for distributive modal logic
cites work: Equational bases for joins of residuated-lattice varieties
cites work: Residuated frames with applications to decidability
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
cites work: Q3535661
cites work: A note on the substructural hierarchy
cites work: Q5693612
cites work: Completions of GBL-algebras: negative results
cites work: Q5688807
cites work: From Frame Properties to Hypersequent Rules in Modal Logics
cites work: A unified semantic framework for fully structural propositional sequent systems
cites work: Substructural fuzzy logics
cites work: Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
cites work: Q4940727
cites work: Q4250069
cites work: Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
cites work: MacNeille completions of lattice expansions
DOI: 10.1016/J.APAL.2016.10.012
description: scientific article; zbMATH DE number 6668383