A framework for proof systems
From MaRDI portal
Recommendations
Cites work
- A formulation of the simple theory of types
- A framework for defining logics
- A logical characterization of forward and backward chaining in the inverse method
- A minimal classical sequent calculus free of structural rules
- A natural extension of natural deduction
- Analytic cut
- Eine Darstellung der Intuitionistischen Logik in der Klassischen
- Focusing and polarization in linear, intuitionistic, and classical logics
- Focusing in Linear Meta-logic
- Forum: A multiple-conclusion specification logic
- scientific article; zbMATH DE number 4180832 (Why is no real title available?)
- scientific article; zbMATH DE number 4053062 (Why is no real title available?)
- scientific article; zbMATH DE number 1337625 (Why is no real title available?)
- scientific article; zbMATH DE number 1950250 (Why is no real title available?)
- scientific article; zbMATH DE number 2152687 (Why is no real title available?)
- scientific article; zbMATH DE number 786494 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- Hypersequents, logical consequence and intermediate logics for concurrency
- Incorporating Tables into Proofs
- Linear logic
- Logic programming in a fragment of intuitionistic linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- Logical Approaches to Computational Barriers
- Natural deduction with general elimination rules
- Non-commutative logic. I: The multiplicative fragment
- Normal natural deduction proofs (in classical logic)
- On the Specification of Sequent Systems
- Structural proof theory. With an appendix by Aarne Ranta
- The blind spot. Course in logic. I. On the perfection
- The foundation of a generic theorem prover
- The Mathematics of Sentence Structure
- The Taming of the Cut. Classical Refutations with Analytic Cut
- Uniform proofs as a foundation for logic programming
Cited in
(34)- A semantic backward chaining proof system
- Multi-focused proofs with different polarity assignments
- Soft subexponentials and multiplexing
- Non-associative, non-commutative multi-modal linear logic
- From axioms to synthetic inference rules via focusing
- A fresh view of linear logic as a logical framework
- Strong extension-free proof systems
- Mechanizing focused linear logic in Coq
- On concurrent behaviors and focusing in linear logic
- On subexponentials, focusing and modalities in concurrent systems
- Formalized meta-theory of sequent calculi for linear logics
- A framework for linear authorization logics
- RETRPROV. A system that looks for axioms
- A study of an integrated proof strategy
- A meta linear logical framework
- A rewriting framework and logic for activities subject to regulations
- Focusing in Linear Meta-logic
- scientific article; zbMATH DE number 1950250 (Why is no real title available?)
- scientific article; zbMATH DE number 6863660 (Why is no real title available?)
- Multi-focused cut elimination
- scientific article; zbMATH DE number 2152687 (Why is no real title available?)
- The ILLTP library for intuitionistic linear logic
- A focused linear logical framework and its application to metatheory of object logics
- Specifying proof systems in linear logic with subexponentials
- Hybrid linear logic, revisited
- Yet another bijection between sequent calculus and natural deduction
- Proving concurrent constraint programming correct, revisited
- On the Specification of Sequent Systems
- An extended framework for specifying and reasoning about proof systems
- System Description: The Proof Transformation System CERES
- A linear logic framework for multimodal logics
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- Playing with modalities (invited talk)
- Subexponential concurrent constraint programming
This page was built for publication: A framework for proof systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q707742)
