When Worlds Collide: Comparing the Logic of the Industrial and Welfare Societies.

Annika Hasselblad Leif Sundberg

Published in: EGOV-CeDEM-ePart-* (2020)

Keyphrases

industrial applications
logic programming
digital circuits
data sets
automated reasoning
multi valued
predicate logic
modal logic
information systems
computational properties
defeasible logic
set theory
proof theory