On a Foundation for Mathematics- a View of Mathematics I
On a new method in intuitionist linear analysis
On a weakening of Markov's principle.
On independent recursive axiomatisation in intuitionistic logic
On Intuitionistic Sentential Connectives I.
On separation axioms in intuitionistic topological spaces.
On the structure of intuitionistic algebras with relational probabilities.
Trillas ([1]) has defined a relational probability on an intuitionistic algebra and has given its basic properties. The main results of this paper are two. The first one says that a relational probability on a intuitionistic algebra defines a congruence such that the quotient is a Boolean algebra. The second one shows that relational probabilities are, in most cases, extensions of conditional probabilities on Boolean algebras.
Operazioni di Brouwer e realizzabilità formalizzata