Cited By
View all- Bergstra JTucker J(2023)Eager Term Rewriting For The Fracterm Calculus Of Common MeadowsThe Computer Journal10.1093/comjnl/bxad10667:5(1866-1871)Online publication date: 1-Nov-2023
We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value \(\bot\) whose main purpose is to always return a value for division. To rings and fields,...
Pseudo-equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy-type theory, and they have been revised by Dvureăźenskij and Zahiri under the name of JK-algebras. In this paper, we define and study the ...
The present paper aims to study a special class of equality algebras, called involutive equality algebra. We obtain some properties of this structure and prove that every linearly ordered 0-compatible equality algebra includes a $$(\sim _0)$$(~0)-...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inView or Download as a PDF file.
PDFView online with eReader.
eReaderView this article in Full Text.
Full TextView this article in HTML Format.
HTML Format