First-Order Logic Parser with Vague Quantifiers A Scala 3 implementation of first-order logic with support for vague quantifiers ("about half", "most", "at least 3/4"), translated from John Harrison's ...

The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

This is a preview. Log in through your library . Abstract We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators.

Abstract: Nominal logic is a variant of first-order logic that provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which ...

Predicate logic is an extension of propositional logic. Here we consider what is called first-order predicate logic, abbreviated FOL (sometimes abbreviated PL1, not to be confused with the programming ...