14 citations · 60 across the 26 of their papers we have counts for
5 papers · 1 filter
On the structure of modal and tense operators on a boolean algebra
Guram Bezhanishvili, Andre Kornell
We study the poset NO(B) of necessity operators on a boolean algebra B. We show that NO(B) is a meet-semilattice that need not be distributive. However, when B is complete, NO(B) i…
A natural deduction system for orthomodular logic
Andre Kornell
Orthomodular logic is a weakening of quantum logic in the sense of Birkhoff and von Neumann. Orthomodular logic is shown to be a nonlinear noncommutative logic. Sequents are given…
A complete system of deduction for Sigma formulas
Andre Kornell
The Sigma formulas of the language of arithmetic express semidecidable relations on the natural numbers. More generally, whenever a totality of objects is regarded as incomplete, t…
The transfinite mean
Andre Kornell
We define a generalization of the arithmetic mean to bounded transfinite sequences of real numbers. We show that every probability space admits a transfinite sequences of points su…
On sequents of formulas
Andre Kornell
We investigate the position that foundational theories should be modelled on ordinary computability. In this context, we investigate the metamathematics of formulas. We conside…