scientific article; zbMATH DE number 3557745

zbMATH Open0358.02023MaRDI QIDQ4133596FDOQ4133596

Authors: G. E. Mints 

Publication date: 1974

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4123698
• scientific article; zbMATH DE number 3851084
• scientific article; zbMATH DE number 3300566
• Computer Science Logic
• scientific article
• 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

Mathematics Subject Classification ID

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

Cited In (2)

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

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)