Results

**1 - 3**of**3**### a-logic

"... Mathematics and computer science pervasively use logics formal languages for reasoning in. One of the most common is classical First-Order Logic with equality (FOL) [Bell and Machover, 1977, Gabbay and Günthner, 1986]. For example FOL is routinely used as a foundational tool to express ..."

Abstract
- Add to MetaCart

Mathematics and computer science pervasively use logics formal languages for reasoning in. One of the most common is classical First-Order Logic with equality (FOL) [Bell and Machover, 1977, Gabbay and Günthner, 1986]. For example FOL is routinely used as a foundational tool to express