Classical Syllogisms in Logic Teaching.

Peter Øhrstrøm Ulrik Sandborg-Petersen Steinar Thorvaldsen Thomas Ploug

Published in: ICCS (2013)

Keyphrases

learning environment
probability theory
finite model theory
higher education
modal logic
educational technology
web based learning
logic programming
learning process
distance learning
hybrid learning
multi valued
programming course
defeasible logic
quantum computation
automated reasoning
truth values
horn logic