A first order logic for partial functions
From MaRDI portal
Publication:5096142
DOI10.1007/BFb0028972zbMath1492.03012MaRDI QIDQ5096142
Antonio Gavilanes-Franco, Francisca Lucio-Carrasco
Publication date: 16 August 2022
Published in: STACS 89 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0028972
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The foundations of mathematics. A study in the philosophy of science
- A logic covering undefinedness in program proofs
- Partial-predicate logic in computer science
- Equational specification of partial higher-order algebras
- Partial abstract types
- Algorithmic specifications: a constructive specification method for abstract data types