A system of logic for partial functions under existence-dependent kleene equality
From MaRDI portal
Recommendations
- Near-equational and equational systems of logic for partial functions. I
- Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
- Near-equational and equational systems of logic for partial functions. II
- scientific article; zbMATH DE number 4112566
- A first order logic for partial functions (extended abstract)
Cited in
(14)- Partial arithmetical data types of rational numbers and their equational specification
- An inference system of an extension of Floyd-Hoare logic for partial predicates
- Completeness theorem for the Evans logic of identities
- Weak conjunctions of identities
- Near-equational and equational systems of logic for partial functions. I
- Near-equational and equational systems of logic for partial functions. II
- Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
- scientific article; zbMATH DE number 4160691 (Why is no real title available?)
- A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems
- scientific article; zbMATH DE number 4112566 (Why is no real title available?)
- AN ELEMENTARY SYSTEM AS AND ITS SEMI‐COMPLETENESS AND DECIDABILITY
- A completeness proof for a regular predicate logic with undefined truth value
- Eager Equality for Rational Number Arithmetic
- Logical models of mathematical texts: the case of conventions for division by zero.
This page was built for publication: A system of logic for partial functions under existence-dependent kleene equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3813851)
