An Introduction to Non-Classical Logic

E356718

book logic textbook

An Introduction to Non-Classical Logic is a widely used textbook by philosopher Graham Priest that systematically presents and explains a range of logics beyond classical logic, including many-valued, paraconsistent, modal, and intuitionistic systems.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label	Occurrences
An Introduction to Non-Classical Logic canonical	2
Priest’s Logic of Paradox	1

Statements (42)

Predicate	Object
instanceOf	book ⓘ logic textbook ⓘ
aimsTo	make non-classical logics accessible to non-specialists ⓘ
author	Graham Priest ⓘ
comparesWith	classical logic ⓘ
covers	Hilbert-style systems ⓘ Kripke semantics ⓘ sequent calculi ⓘ tableau systems ⓘ truth-value semantics ⓘ
field	logic ⓘ philosophy of logic ⓘ
focusesOn	systematic presentation of non-classical logics ⓘ
genre	academic textbook ⓘ
hasPart	volume 1 ⓘ volume 2 ⓘ
includes	exercises ⓘ worked examples ⓘ
influenced	curricula in logic and philosophy departments ⓘ teaching of non-classical logic in analytic philosophy ⓘ
intendedAudience	advanced undergraduates ⓘ graduate students ⓘ researchers in logic ⓘ
language	English ⓘ
notableFor	comprehensive coverage of non-classical logics ⓘ philosophically informed treatment of formal systems ⓘ
publisher	Cambridge University Press ⓘ
relatedTo	classical predicate logic ⓘ classical propositional logic ⓘ
subject	intuitionistic logic ⓘ many-valued logic ⓘ modal logic ⓘ model theory ⓘ non-classical logic ⓘ paraconsistent logic ⓘ proof theory ⓘ relevance logic ⓘ semantic theory of consequence ⓘ
teaches	formal systems beyond classical logic ⓘ proof systems for non-classical logics ⓘ semantic methods for non-classical logics ⓘ
usedAs	university course textbook ⓘ

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Graham Priest → knownFor → An Introduction to Non-Classical Logic ⓘ

Graham Priest → notableWork → An Introduction to Non-Classical Logic ⓘ

Kleene strong three-valued logic → relatedLogic → An Introduction to Non-Classical Logic ⓘ

this entity surface form: Priest’s Logic of Paradox