4059 results in Logic
8 - Disjunction
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 80-94
-
- Chapter
- Export citation
Index
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 179-183
-
- Chapter
- Export citation
3 - Conditional
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 22-34
-
- Chapter
- Export citation
5 - Conditional proof
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 47-56
-
- Chapter
- Export citation
9 - Biconditional
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 95-99
-
- Chapter
- Export citation
14 - Logic and paradoxes
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 155-168
-
- Chapter
- Export citation
2 - Logical connectives and truth-tables
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 9-21
-
- Chapter
- Export citation
4 - Conjunction
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 35-46
-
- Chapter
- Export citation
11 - Derived rules
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 120-127
-
- Chapter
- Export citation
7 - Negation
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 67-79
-
- Chapter
- Export citation
10 - Solutions to selected exercises, II
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 100-119
-
- Chapter
- Export citation
Contents
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp v-vi
-
- Chapter
- Export citation
13 - Logical reflections
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 139-154
-
- Chapter
- Export citation
Further reading
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 173-176
-
- Chapter
- Export citation
12 - Truth-trees
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 128-138
-
- Chapter
- Export citation
1 - Overview
-
- Book:
- Elementary Logic
- Published by:
- Acumen Publishing
- Published online:
- 05 April 2014
- Print publication:
- 27 September 2012, pp 1-8
-
- Chapter
- Export citation
PART II - PROOF SYSTEMS BASED ON SEQUENT CALCULUS
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 83-84
-
- Chapter
- Export citation
7 - Soft information, correction, and belief change
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 130-155
-
- Chapter
- Export citation
17 - Conclusion
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 342-345
-
- Chapter
- Export citation
PART I - PROOF SYSTEMS BASED ON NATURAL DEDUCTION
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 15-16
-
- Chapter
- Export citation