Deduction: introductory symbolic logic

Malden, MA: Blackwell (2003)
  Copy   BIBTEX

Abstract

New features in this edition, in addition to truth tree systems for classical and nonclassical logics, include new and simpler rules for modal logic, deontic ...

Categories

Keywords

Reprint years

Call number

BC71.B6 2003

ISBN(s)

0631227105   063122713X   0874847729
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Deduction: Introductory Symbolic Logic.Daniel Bonevac - 2004 - Studia Logica 77 (1):141-145.
Deduction: Introductory Symbolic Logic.Daniel A. Bonevac - 2002 - Malden, MA: Wiley-Blackwell.
Deduction. Introductory Symbolic Logic. [REVIEW]Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (1):319-323.
A new deduction system for deciding validity in modal logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.
Deontic, Epistemic, and Temporal Modal Logics.Risto Hilpinen - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 491–509.
Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Logic: The Basics.Jc Beall - 2010 - New York: Routledge.
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics.Lincoln A. Wallen - 1990 - MIT Press (MA).

Analytics

Added to PP
2009-01-28

Downloads
65 (#256,004)

6 months
6 (#587,658)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daniel Bonevac
University of Texas at Austin

Citations of this work

Defeasible reasoning.Robert C. Koons - 2008 - Stanford Encyclopedia of Philosophy.
A calculus for first order discourse representation structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.
Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1):125-148.
Russell's divine ancestors.Dermot Cassidy - 2007 - History and Philosophy of Logic 28 (2):123-132.

Add more citations

References found in this work

No references found.

Add more references