Hypersequents, logical consequence and intermediate logics for concurrency

This publication has 9 references indexed in Scilit:

• Deduction and computation
  Published by Springer Nature ,2005
• The semantics and proof theory of linear logic
  Theoretical Computer Science, 1988
• A constructive analysis of RM
  The Journal of Symbolic Logic, 1987
• Linear logic
  Theoretical Computer Science, 1987
• On an implication connective of ${\rm RM}$.
  Notre Dame Journal of Formal Logic, 1986
• On the completenes principle: A study of provability in heyting's arithmetic and extensions
  Annals of Mathematical Logic, 1982
• The correspondence between cut-elimination and normalization
  Annals of Mathematical Logic, 1974
• Algebraic Completeness Results for Dummett's LC and Its Extensions
  Mathematical Logic Quarterly, 1971
• Notice 1960 International Congress for Logic, Methodology and Philosophy of Science
  The Journal of Symbolic Logic, 1959