|
by Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra
Published 2010
“... translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level...”Published 2010
Springer Berlin Heidelberg
|
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
“..., quantum computing, networks and argumentation theory, besides discussing more classical applications like...”Published 2008
Springer Netherlands