Publications
Export 3 results:
Author Title Type [ Year
] Filters: Author is Carnielli, Walter A. and First Letter Of Title is S [Clear All Filters]
. 2010. “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.
. 2009. “Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.
. 2002. “On Some Remarkable Relations Between Paraconsistent Logics, Modal Logics, And Ambiguity Logics” . Paraconsistency. The Logical Way to the Inconsistent: 275–293.