By recourse to (i) the Hellmann–Feynman theorem and (ii) the virial one, the information-optimizing principle based on Fisher’s information measure uncovers a Legendre-transform structure associated with Schrödinger’s ...

We prove a variant of Läuchli's completeness theorem for intuitionistic predicate calculus. The formulation of the result relies on the observation (due to Lawvere) that Läuchli's theorem is related to the logic of the ...