Walter A. Carnielli (carnielli)

My contributions to Philosophie.ch

Bibliography

Caleiro, Carlos, Carnielli, Walter A., Coniglio, Marcelo Esteban and Marcos, João. 2005. “Two’s Company: ‘The Humbug of Many Logical Values’ .” in Logica Universalis. Towards a General Theory of Logic, edited by Jean-Yves Béziau, pp. 169–190. Basel: Birkhäuser.
Caleiro, Carlos, Carnielli, Walter A., Coniglio, Marcelo Esteban, Semidas, A. and Sernadas, Cristina. 2003. “Fibring Non-Truth-Functional Logics: Completeness Preservation.” Journal of Logic, Language, and Information 12(2): 183–211.
Carnielli, Walter A. 1985. “An Algorithm for Axiomatization and Theorem Proving in Finite Many-Valued Logics.” Logique et Analyse 28(112): 363–368.
Carnielli, Walter A. 2017a. “Making the ‘Hardest Logic Puzzle Ever’ a Bit Harder.” in Raymond Smullyan on Self Reference, edited by Melvin Chris Fitting and Brian Rayman, pp. 181–190. Outstanding Contributions to Logic n. 14. Cham: Springer.
Carnielli, Walter A. 2017b. “Groups, Not Squares: Exorcizing a Fetish.” in The Square of Opposition: A Cornerstone of Thought, edited by Jean-Yves Béziau and Gianfranco Basti, pp. 239–252. Studies in Universal Logic. Basel: Birkhäuser.
Carnielli, Walter A. and Coniglio, Marcelo Esteban. 2007. “Combining Logics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2007/entries/logic-combining/.
Carnielli, Walter A. and Coniglio, Marcelo Esteban. 2011. “Combining Logics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2011/entries/logic-combining/.
Carnielli, Walter A. and Coniglio, Marcelo Esteban. 2016a. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science n. 40. Cham: Springer.
Carnielli, Walter A. and Coniglio, Marcelo Esteban. 2016b. “Combining Logics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2016/entries/logic-combining/.
Carnielli, Walter A. and Coniglio, Marcelo Esteban. 2020. “Combining Logics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2020/entries/logic-combining/.
Carnielli, Walter A., Coniglio, Marcelo Esteban, D’Ottaviano, Itala M. Loffredo and Dekker, Marcel, eds. 2002. Paraconsistency: The Logical Way to the Inconsistent. New York: Marcel Dekker.
Carnielli, Walter A., Coniglio, Marcelo Esteban and Marcos, João. 2007. “Logics of Formal Inconsistency.” in Handbook of Philosophical Logic, Volume XIV, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–93. Dordrecht: Springer, doi:10.1007/978-1-4020-6324-4.
Carnielli, Walter A. and D’Ottaviano, Itala M. Loffredo. 1997. “Translations between Logical Systems: A Manifesto.” Logique et Analyse 40(157): 67–81.
Carnielli, Walter A. and Grácio, Maria Cláudia C. 2008. “Modulated Logics and Flexible Reasoning.” Logic and Logical Philosophy 17(3): 211–249.
Carnielli, Walter A. and Rodrigues, Abilio. 2016. “Paraconsistency and Duality: between Ontological and Epistemological Views.” in The Logica Yearbook 2015, edited by Pavel Arazim and Michal Dančák, pp. 39–56. London: College Publications.
Carnielli, Walter A. and Rodrigues, Abilio. 2019. “Inferential Semantics, Paraconsistency, and Preservation of Evidence.” in Graham Priest on Dialetheism and Paraconsistency, edited by Can Başkent and Thomas Macaulay Ferguson, pp. 165–188. Cham: Springer Nature, doi:10.1007/978-3-030-25365-3.
D’Ottaviano, Itala M. Loffredo, Carnielli, Walter A. and Alves, E. H. 1996. “The Centre for Logic in Campinas and the Development of Logic in Brazil.” Logique et Analyse 39(153–154): 15–29.
Epstein, Richard L. and Carnielli, Walter A. 1989. Computability. Computable Functions, Logic, and the Foundations of Mathematics. Belmont, California: Wadsworth Publishing Co.
Epstein, Richard L. and Carnielli, Walter A. 2000. Computability. Computable Functions, Logic, and the Foundations of Mathematics. 2nd ed. Belmont, California: Wadsworth Publishing Co.
Epstein, Richard L. and Carnielli, Walter A. 2008. Computability. Computable Functions, Logic, and the Foundations of Mathematics. 3rd ed. Belmont, California: Wadsworth Publishing Co.
Puga, Leila Z., Da Costa, Newton C. A. and Carnielli, Walter A. 1988. “Kantian and Non-Kantian Logics.” Logique et Analyse 31(121–122): 3–9.
Veloso, Paulo A. S. and Carnielli, Walter A. 2004. “Logics for Qualitative Reasoning.” in Logic, Epistemology, and the Unity of Science, volume 1, edited by Shahid Rahman, John Symons, Dov M. Gabbay, and Jean Paul van Bendegem, pp. 487–526. Dordrecht: Springer.