Linear proofs and linear logics
From MaRDI portal
Recommendations
Cited in
(24)- On linear logic planning and concurrency
- The number of proof lines and the size of proofs in first order logic
- Linearity and plan generation
- Linear logic as a logic of computations
- On proof normalization in linear logic
- Linear strategy for Boolean ring based theorem proving
- Generating plans in linear logic. I: Actions as proofs
- lean\(T^ AP\): Lean tableau-based deduction
- Formalization of linear space theory in the higher-order logic proving system
- An even closer integration of linear arithmetic into inductive theorem proving
- On linear Brouwerian logics
- Linear Logic and Strong Normalization
- On Linear Logic Planning and Concurrency
- scientific article; zbMATH DE number 1231531 (Why is no real title available?)
- scientific article; zbMATH DE number 517072 (Why is no real title available?)
- Linear Logic and Exceptions
- Some Properties of Linear Logic Proved by Semantic Methods
- Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
- scientific article; zbMATH DE number 786485 (Why is no real title available?)
- Object calculi in linear logic
- scientific article; zbMATH DE number 7441265 (Why is no real title available?)
- scientific article; zbMATH DE number 7455712 (Why is no real title available?)
- Correctness of linear logic proof structures is NL-complete
- The dual of a logical linear programme
This page was built for publication: Linear proofs and linear logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4244309)
