scientific article; zbMATH DE number 1389648

MaRDI QIDQ4934141zbMATH OpenFDO

Authors Uwe Egly, Stephan Schmitt

Publication date 17 January 2000

zbMATH Keywords

intuitionistic sequent proofsmulti-succedent calculus

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1231696
• scientific article; zbMATH DE number 1222428
• On different intuitionistic calculi and embeddings from Int to S4
• Some pitfalls of \textsf{LK}-to-\textsf{LJ} translations and how to avoid them
• A logic program for transforming sequent proofs to natural deduction proofs

Cited in

(9)

• Maehara-style modal nested calculi
• Intuitionistic Decision Procedures Since Gentzen
• Formal program construction by transformations-computer-aided, intuition-guided programming
• scientific article; zbMATH DE number 1222428 (Why is no real title available?)
• scientific article; zbMATH DE number 1231696 (Why is no real title available?)
• On intuitionistic proof nets with additional rewrite rules and their approximations
• Some pitfalls of \textsf{LK}-to-\textsf{LJ} translations and how to avoid them
• scientific article; zbMATH DE number 5033863 (Why is no real title available?)
• Optimization techniques for propositional intuitionistic logic and their implementation

Describes a project that uses

Uses Software

• Nuprl

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 Q4934141)