Perceptibility in pre-Heyting logics

Project - pre - Team LogicA Logics and Applications

Auditory Perceptibility: Acuity and Dominance

determination of gross auditory perceptibility of value to clinicians, generally. It is not demanded of the clinical psychologist that he compete with the aurist, but if a correct diagnosis is to be made he must establish the degree of auditory perceptibility3 and recognize the handicaps of reduced auditory acuity to effect necessary school adjustments and to stress the need for medical care. T...

Algorithmic Equality in Heyting Arithmetic Modulo

Deduction Modulo is a formalism that aims at distinguish reasoning from computation in proofs. A theory modulo is formed with a set of axioms and a congruence de ned by rewrite rules: the reasoning part of the theory is given by the axioms, the computational part by the congruence. In deduction modulo, we can in particular build theories without any axiom, called purely computational theories. ...

Ideals in Heyting Semilattices and Open Homomorphisms

Subfitness and its relation to openness and completeness is studied in the context of Heyting semilattices. A formally weaker condition (c-subfitness) is shown to be necessary and sufficient for openness and completeness to coincide. For a large class of spatial frames, c-subfit ≡ subfit.

A new characterization of complete Heyting and co-Heyting algebras

We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra C. This result provides an unexpected relationship with the field of Nash equilibria, being based on the so-called Veinott ordering relation on subcomplete sublattices of C, which is crucially used in Topkis’ theorem for studying the order-theoretic stucture of Nash equilibria of supermodular games. Intr...