scientific article; zbMATH DE number 2152687

MaRDI QIDQ4664255zbMATH OpenFDO

Authors Elaine Pimentel, Dale Miller

Publication date 5 April 2005

zbMATH Keywords

Forum presentationlinear logicobject-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)

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

Cited in

(28)

• Encoding transition systems in sequent calculus
• A formal framework for specifying sequent calculus proof systems
• Mechanizing focused linear logic in Coq
• Formalized meta-theory of sequent calculi for linear logics
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Focusing in Linear Meta-logic
• Linearly-Used Continuations in the Enriched Effect Calculus
• scientific article; zbMATH DE number 4099290 (Why is no real title available?)
• Some Syntactical Observations on Linear Logic
• scientific article; zbMATH DE number 1231524 (Why is no real title available?)
• scientific article; zbMATH DE number 1231527 (Why is no real title available?)
• scientific article; zbMATH DE number 1231695 (Why is no real title available?)
• scientific article; zbMATH DE number 1342255 (Why is no real title available?)
• Some Properties of Linear Logic Proved by Semantic Methods
• scientific article; zbMATH DE number 1950250 (Why is no real title available?)
• Sequent systems for compact bilinear logic
• scientific article; zbMATH DE number 1361538 (Why is no real title available?)
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Object calculi in linear logic
• scientific article; zbMATH DE number 7455712 (Why is no real title available?)
• A focused linear logical framework and its application to metatheory of object logics
• Specifying proof systems in linear logic with subexponentials
• Computer Science Logic
• On the Specification of Sequent Systems
• A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• An extended framework for specifying and reasoning about proof systems
• Linear logic propositions as session types
• A framework for proof systems

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)