A Single Proof of Classical Behaviour in Da Costa's Cn Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mauricio Osorio, Jose Abel Castellanos Joo. A Single Proof of Classical Behaviour in Da Costa's Cn Systems. In Juan Carlos Acosta Guadarrama, editor, Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014. Volume 1287 of CEUR Workshop Proceedings, pages 1-7, CEUR-WS.org, 2014. [doi]

This author has not been identified. Look up 'Mauricio Osorio' in GoogleThis author has not been identified. Look up 'Jose Abel Castellanos Joo' in Google

runs on WebDSL