From propositional to predicate logic: semantics and relations. (Scott Brewer and Giovanni Sartor)
Themes covered in this session (as in 3.2.1)
Projections
- Brewer, S. Representing legal arguments in predicate logic (link)
Reading
Mandatory reading
- Tapscott, B. L. (1976). Elementary Applied Symbolic Logic. Prentice-Hall, Englewood Cliffs, N. J., Chapter 22 and 23 (link)
- Sartor, G. Predicate logic (link (link))
Cases
- Shelley v. Kramer (link)