A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems

DOI10.1002/MALQ.19890350205MaRDI QIDQ3800000zbMATH OpenOpenAlexFDO

Authors Peter Zahn

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350205

zbMATH Keywords

first order languagepartial Peano algebrasrecursion theoremsrule systems

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 4210120
• On the predecessor relation in abstract algebras
• scientific article; zbMATH DE number 3880784
• A first order logic for partial functions (extended abstract)
• A system of logic for partial functions under existence-dependent kleene equality

This page was built for publication: A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems

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