Arnon Avron (avron)

Contributions à Philosophie.ch

Bibliography

Arieli, Ofer and Avron, Arnon. 1996. “Reasoning with Logical Bilattices.” Journal of Logic, Language, and Information 5(1): 25–63.
Arieli, Ofer and Avron, Arnon. 1998. “The Value of the Four Values.” Artificial Intelligence 102(1): 97–141.
Avron, Arnon. 1984. “Relevant Entailment Semantics and Formal Systems.” The Journal of Symbolic Logic 49: 334–342.
Avron, Arnon. 1991. “A Note on Provability, Truth, and Existence.” The Journal of Philosophical Logic 20(4): 403–409.
Avron, Arnon. 1994. “What is a Logical System?” in What is a Logical System?, edited by Dov M. Gabbay, pp. 217–238. Oxford: Oxford University Press.
Avron, Arnon. 1999. “Negation: Two Points of View.” in What is Negation?, edited by Dov M. Gabbay and Heinrich Theodor Wansing, pp. 3–22. Applied Logic Series n. 13. Dordrecht: Kluwer Academic Publishers.
Avron, Arnon. 2002. “On Negation, Completeness and Consistency.” in Handbook of Philosophical Logic, Volume IX, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 287–320. Dordrecht: Springer.
Avron, Arnon. 2004. “Safety Signatures for First-Order Languages and Their Applications.” in First-Order Logic Revisited, edited by Vincent F. Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, and Heinrich Theodor Wansing, pp. 37–58. Logische Philosophie n. 12. Berlin: Logos Verlag.
Avron, Arnon. 2005. “Non-Deterministic Matrices and Modular Semantics of Rules.” in Logica Universalis. Towards a General Theory of Logic, edited by Jean-Yves Béziau, pp. 149–168. Basel: Birkhäuser.
Avron, Arnon. 2009. “Review of Smith (2007).” The Bulletin of Symbolic Logic 15(2): 218–222.
Avron, Arnon. 2016. “RM and Nice Properties.” in J. Michael Dunn on Information Based Logics, edited by Katalin Bimbó, pp. 15–44. Outstanding Contributions to Logic n. 8. Cham: Springer, doi:10.1007/978-3-319-29300-4.
Avron, Arnon, Ben-Naim, Jonathan and Konikowska, Beata. 2009. “Processing Information from a Set of Sources.” in Towards Mathematical Philosophy. Papers from the Studia Logica Conference Trends in Logic IV, edited by David C. Makinson, Jacek Malinowski, and Heinrich Theodor Wansing, pp. 165–186. Trends in Logic n. 28. Dordrecht: Springer, doi:10.1007/978-1-4020-9084-4.
Avron, Arnon and Lahav, Ori. 2010. “Strict Canonical Constructive Systems.” in Fields of Logic and Computation. Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, edited by Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, pp. 75–94. Berlin: Springer, doi:10.1007/978-3-642-15025-8.
Avron, Arnon and Zamansky, Anna. 2011. “Non-deterministic Semantics for Logical Systems.” in Handbook of Philosophical Logic, Volume XVI, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 227–304. Dordrecht: Springer.
Avron, Arnon and Zamansky, Anna. 2016. “A Paraconsistent View on B and S5.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 21–37. London: King’s College Publications.

Further References

Smith, Peter. 2003. An Introduction to Formal Logic. Cambridge: Cambridge University Press.
Smith, Peter. 2007. An Introduction to Gödel’s Theorems. 1st ed. Cambridge: Cambridge University Press. Second edition: Smith (2013).
Smith, Peter. 2013. An Introduction to Formal Logic. Cambridge: Cambridge University Press. Corrected reprint of Smith (2003).