scientific article; zbMATH DE number 2152687
From MaRDI portal
Publication:4664255
zbMATH Open1061.03072MaRDI QIDQ4664255FDOQ4664255
Authors: Elaine Pimentel, Dale Miller 
Publication date: 5 April 2005
Title of this publication is not available (Why is that?)
Recommendations
linear logicForum presentationobject-level encodingsobject-level proof systemssequent calculus proof systems
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (22)
- 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?)
- Title not available (Why is that?)
- Linear logic propositions as session types
- A formal framework for specifying sequent calculus proof systems
- 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
- An extended framework for specifying and reasoning about proof systems
- Title not available (Why is that?)
- Computer Science Logic
- Specifying proof systems in linear logic with subexponentials
- 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)
