- understand the notion of vagueness and the approach to deal with vagueness by means of logic
- be able to design a formal framework for modelling situations/processes involving vagueness
- design and apply a suitable proof system for model-theoretically defined propositional logics,
- determine the algebraic semantics of a (possibly non-classical) propositional logic
- prove the (algebraic, standard) completeness of a (possibly non-classical) propositional logic
|
Basics of lattice theory, model-theoretic definition of propositional
logics, Hilbert-style proof systems, soundness and completeness,
classical propositional logic, Boolean algebras, t-norm based
many-valued logics, residuated lattices, Basic Logic, BL-algebras,
Lukasiewicz logic, MV-algebras.
|
