scientific article; zbMATH DE number 3557745

MaRDI QIDQ4133596zbMATH OpenFDO

Authors G. E. Mints

Publication date 1974

Full work available at URL https://eudml.org/doc/66677

Mathematics Subject Classification ID

Intermediate logics (03B55) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 4123698
• scientific article; zbMATH DE number 3851084
• scientific article; zbMATH DE number 3300566
• Computer Science Logic
• scientific article; zbMATH DE number 4164835
• A finitely axiomatized formalization of predicate calculus with equality
• A Gentzen-style axiomatization for basic predicate calculus
• Intuitionistic existential instantiation and epsilon symbol
• A symbolic semantics for the \(\pi\)-calculus

Cited in

(2)

• Finite investigations of transfinite derivations
• Intuitionistic existential instantiation and epsilon symbol

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