Year: 2025
Type: article
Abstract: Throughout mathematics, numerical approximation is studied in this topic; functions are far more common than relations, which are more generic. But things have always been backwards when it comes to the mathematics of reasoning about these things. At first, the goal of this effort was rigorous algebraic logic. To rephrase, the relations were supplying the meaning to the logical expressions. Since functions are not well-suited to the duty of analyzing formula semantics, this may explain why the related theory of functions remained underdeveloped until recently. On the other hand, computer science has emerged as a driving force in relational history, with binary relations serving as the semantic foundation for (nondeterministic) computer programs in particular. As this perspective sees it, the relation connects the dots between the machine’s possible states before and after program execution.
DOI: 10.70388/ijabs250101
Authors: Neha Neha, Manjeet singh Jakhar
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4407601940