A framework for proof systems
From MaRDI portal
Recommendations
Cites work
- 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?)
- 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
- Hypersequents, logical consequence and intermediate logics for concurrency
- Incorporating Tables into Proofs
- Linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- Logic programming in a fragment of intuitionistic 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 Mathematics of Sentence Structure
- The Taming of the Cut. Classical Refutations with Analytic Cut
- The blind spot. Course in logic. I. On the perfection
- The foundation of a generic theorem prover
- Uniform proofs as a foundation for logic programming
Cited in
(33)- A linear logic framework for multimodal logics
- A study of an integrated proof strategy
- scientific article; zbMATH DE number 1950250 (Why is no real title available?)
- scientific article; zbMATH DE number 2152687 (Why is no real title available?)
- A fresh view of linear logic as a logical framework
- Soft subexponentials and multiplexing
- A meta linear logical framework
- RETRPROV. A system that looks for axioms
- From axioms to synthetic inference rules via focusing
- A focused linear logical framework and its application to metatheory of object logics
- A semantic backward chaining proof system
- Formalized meta-theory of sequent calculi for linear logics
- On subexponentials, focusing and modalities in concurrent systems
- A rewriting framework and logic for activities subject to regulations
- Strong extension-free proof systems
- Non-associative, non-commutative multi-modal linear logic
- Focusing in Linear Meta-logic
- Subexponential concurrent constraint programming
- The ILLTP library for intuitionistic linear logic
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- On the Specification of Sequent Systems
- On concurrent behaviors and focusing in linear logic
- Multi-focused proofs with different polarity assignments
- scientific article; zbMATH DE number 6863660 (Why is no real title available?)
- Specifying proof systems in linear logic with subexponentials
- A framework for linear authorization logics
- System Description: The Proof Transformation System CERES
- An extended framework for specifying and reasoning about proof systems
- Mechanizing focused linear logic in Coq
- Proving concurrent constraint programming correct, revisited
- Yet another bijection between sequent calculus and natural deduction
- Hybrid linear logic, revisited
- Multi-focused cut elimination
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)
