I have devised the main lines of such a system (Master's thesis), and I've published a paper on it, but I would like to know whether there is an axiomatization of this type of system.

More Antonio Velasco's questions See All
Similar questions and discussions