What is Equational logic?

The ACM–IEEE Symposium on Logic in Computer Science is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected...

EQP, an abbreviation for equational prover, is an automated theorem proving program for equational logic, developed by the Mathematics and Computer Science Division of the Argonne National Laboratory. It was...

In mathematical logic, monadic second-order logic is the fragment of second-order logic where the second-order quantification is limited to quantification over sets. It is particularly important in the logic of...

In logic and model theory, a valuation can be:

The logic alphabet, also called the X-stem Logic Alphabet , constitutes an iconic set of symbols that systematically represents the sixteen possible binary truth functions of logic. The logic alphabet...

Connexive logic names one class of alternative, or non-classical, logics designed to exclude the so-called paradoxes of material implication. The characteristic that separates connexive logic from other non-classical logics is...

In computer programming, a logic error is a bug in a program that causes it to operate incorrectly, but not to terminate abnormally. A logic error produces unintended or undesired...