scientific article; zbMATH DE number 2152687

zbMATH Open1061.03072MaRDI QIDQ4664255FDOQ4664255

Elaine Pimentel, Dale Miller

Publication date: 5 April 2005

Title of this publication is not available (Why is that?)

Recommendations

• A formal framework for specifying sequent calculus proof systems
• scientific article; zbMATH DE number 1950250
• A framework for proof systems
• On the Specification of Sequent Systems
• scientific article; zbMATH DE number 1342255

zbMATH Keywords

linear logicForum presentationobject-level encodingsobject-level proof systemssequent calculus proof systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (20)

• Object calculi in linear logic
• Title not available (Why is that?)
• A framework for proof systems
• On the Specification of Sequent Systems
• Title not available (Why is that?)
• Specifying Proof Systems in Linear Logic with Subexponentials
• Title not available (Why is that?)
• Linear logic propositions as session types
• Some Properties of Linear Logic Proved by Semantic Methods
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Title not available (Why is that?)
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Linearly-Used Continuations in the Enriched Effect Calculus
• Title not available (Why is that?)
• Computer Science Logic
• A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• Encoding transition systems in sequent calculus
• Some Syntactical Observations on Linear Logic
• Sequent systems for compact bilinear logic
• Focusing in Linear Meta-logic

This page was built for publication:

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