Hypersequents, logical consequence and intermediate logics for concurrency
type: Item
instance of: scholarly article
title: Hypersequents, logical consequence and intermediate logics for concurrency
zbMATH Open document ID: 0865.03042
DOI: 10.1007/BF01531058
author: Arnon Avron
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-13T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 1005860
zbMATH Keywords: hypersequents
zbMATH Keywords: Gentzen-type systems
zbMATH Keywords: cut-free systems
zbMATH Keywords: intermediate logics
zbMATH Keywords: Dummett's LC
zbMATH Keywords: algebraic semantics
zbMATH Keywords: decidability
zbMATH Keywords: parallel computation
describes a project that uses: Nuprl
MaRDI profile type: Publication
cites work: A constructive analysis of RM
cites work: Natural 3-valued logics—characterization and proof theory
cites work: The semantics and proof theory of linear logic
cites work: Gentzen-type systems, resolution and tableaux
cites work: On an implication connective of RM
cites work: A propositional calculus with denumerable matrix
cites work: Algebraic Completeness Results for Dummett's LC and Its Extensions
cites work: Linear logic
cites work: Q3994895
cites work: Q5559220
cites work: On the completenes principle: A study of provability in heyting's arithmetic and extensions
cites work: The correspondence between cut-elimination and normalization
description: scientific article; zbMATH DE number 1005860