News
Ryo Takemura, Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization, Studia Logica: An International Journal for Symbolic Logic, Vol. 101, No. 1 (February 2013), pp.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback