Automated generation of analytic calculi for logics with linearity
From MaRDI portal
Recommendations
- Automated deduction in additive and multiplicative linear logic
- Automating theories in intuitionistic logic
- scientific article; zbMATH DE number 978243
- scientific article; zbMATH DE number 2152687
- Formalized meta-theory of sequent calculi for linear logics
- Automated theorem proving for Łukasiewicz logics
- scientific article; zbMATH DE number 3894495
- Automated deduction in equational logic and cubic curves
- An analytic calculus for the intuitionistic logic of proofs
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
Cited in
(12)- Leśniewski's ontology -- proof-theoretic characterization
- Hypersequent and display calculi -- a unified perspective
- Triangular norm based predicate fuzzy logics
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Proof theory of Riesz spaces and modal Riesz spaces
- Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- Cut elimination for negative free logics with definite descriptions
- SCI-sequent calculi, cut elimination and interpolation property
- Towards a semantic characterization of cut-elimination
- Density elimination
This page was built for publication: Automated generation of analytic calculi for logics with linearity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311280)
