4059 results in Logic
24 - PL proofs: metatheory
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 216-227
-
- Chapter
- Export citation
19 - ‘If’s and ‘→’s
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 162-171
-
- Chapter
- Export citation
4 - Proofs
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 28-38
-
- Chapter
- Export citation
Appendix - Soundness and completeness
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 402-411
-
- Chapter
- Export citation
6 - Logical validity
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 44-51
-
- Chapter
- Export citation
An Introduction to Formal Logic
-
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020
-
- Textbook
- Export citation
37 - QL proofs: metatheory
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 354-358
-
- Chapter
- Export citation
14 - Tautologies
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 120-126
-
- Chapter
- Export citation
1 - What is deductive logic?
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 1-8
-
- Chapter
- Export citation
Interlude: Extending QL
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 359-360
-
- Chapter
- Export citation
26 - Quantifiers in ordinary language
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 240-248
-
- Chapter
- Export citation
40 - Definite descriptions
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 375-381
-
- Chapter
- Export citation
3 - Forms of inference
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 20-27
-
- Chapter
- Export citation
21 - PL proofs: disjunction
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 191-202
-
- Chapter
- Export citation
15 - Tautological entailment
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 127-136
-
- Chapter
- Export citation
39 - QL= languages
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 367-374
-
- Chapter
- Export citation
Further reading
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 413-414
-
- Chapter
- Export citation
29 - Simple translations
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 271-281
-
- Chapter
- Export citation
10 - PL semantics
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 81-93
-
- Chapter
- Export citation
42 - Functions
-
- Book:
- An Introduction to Formal Logic
- Published online:
- 10 July 2020
- Print publication:
- 25 June 2020, pp 391-401
-
- Chapter
- Export citation