Jose Abel Castellanos Joo
Jose Abel Castellanos Joo
Home
Posts
Projects
Publications
Talks
Contact
Light
Dark
Automatic
Da Costa Logic
A Single Proof of Classical Behaviour in da Costa's $C_n$ systems
Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning LANMR
Jose Abel Castellanos Joo
,
Mauricio Osorio
Nov 1, 2014