Program-substitution and admissibility of rules in algorithmic logic

DOI10.1007/BF02737110MaRDI QIDQ1092655zbMATH OpenOpenAlexFDO

Authors Andrzej Biela

Publication date 1988

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02737110

zbMATH Keywords

algorithmic logicadmissibility of rulesalgorithmic structural completenessnon- deterministic programsprogram substitution

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3881873
• Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
• Axiomatisation of substitution
• scientific article; zbMATH DE number 4130350
• Admissible rules: from characterizations to applications

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3853040 (Why is no real title available?)
• scientific article; zbMATH DE number 3823133 (Why is no real title available?)
• scientific article; zbMATH DE number 3686773 (Why is no real title available?)
• scientific article; zbMATH DE number 3686774 (Why is no real title available?)
• scientific article; zbMATH DE number 3688691 (Why is no real title available?)
• scientific article; zbMATH DE number 3762022 (Why is no real title available?)
• scientific article; zbMATH DE number 3532507 (Why is no real title available?)
• scientific article; zbMATH DE number 3558939 (Why is no real title available?)
• scientific article; zbMATH DE number 3558940 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3561326 (Why is no real title available?)
• scientific article; zbMATH DE number 3597842 (Why is no real title available?)
• scientific article; zbMATH DE number 3639589 (Why is no real title available?)
• scientific article; zbMATH DE number 3801514 (Why is no real title available?)
• scientific article; zbMATH DE number 3253940 (Why is no real title available?)
• scientific article; zbMATH DE number 3305014 (Why is no real title available?)
• scientific article; zbMATH DE number 3315203 (Why is no real title available?)
• scientific article; zbMATH DE number 3339356 (Why is no real title available?)
• scientific article; zbMATH DE number 3349792 (Why is no real title available?)
• scientific article; zbMATH DE number 3351505 (Why is no real title available?)
• scientific article; zbMATH DE number 3363517 (Why is no real title available?)
• scientific article; zbMATH DE number 3391938 (Why is no real title available?)
• scientific article; zbMATH DE number 3404231 (Why is no real title available?)
• Algorithmic properties of structures
• Introduction to mathematical logic. Translated from the German by Diana Schmidt
• LAR: A logic of algorithmic reasoning
• On the Decidability of Propositional Algorithmic Logic
• Structural completeness of the first‐order predicate calculus

Cited in

(4)

• Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
• scientific article; zbMATH DE number 3895058 (Why is no real title available?)
• scientific article; zbMATH DE number 3881873 (Why is no real title available?)
• scientific article; zbMATH DE number 3961575 (Why is no real title available?)

This page was built for publication: Program-substitution and admissibility of rules in algorithmic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1092655)