Publications
Export 3 results:
Author Title Type [ Year] Filters: First Letter Of Title is S and Author is Carnielli, Walter A. [Clear All Filters]
“The Symbolic Model For Algebra: Functions And Mechanisms” . Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.
. 2010. “Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.
. 2009. “On Some Remarkable Relations Between Paraconsistent Logics, Modal Logics, And Ambiguity Logics” . Paraconsistency. The Logical Way to the Inconsistent: 275–293.
. 2002.