collaborators

1 paper

math.LO2017

Intuitionistic Existential Graphs from a non traditional point of view

Yuri A. Poveda, Steven Zuluaga

In this article we develop a new version of the intuitionist existential graphs presented by Arnol Oostra [4]. The deductive rules presented in this article have the same meaning a…