On the Leibniz congruences
16PDF
TL;DRAbstract
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two cla
Chat with Paper
AI Agents for this Paper
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two cla
Keywords
Congruence relationAlgebraic semanticsAlgebra over a fieldSemantics (computer science)Algebraic numberMathematicsCalculus (dental)Computer science
Chat
Click to start Chat