Logic for Accumulation of Design Science Research Theory.
Jan HolmströmTuure TuunanenJouni KauremaaPublished in: HICSS (2014)
Keyphrases
- formal theory
- design science
- theoretical basis
- set theory
- design theory
- commonsense reasoning
- proof theory
- boolean algebra
- artificial intelligence
- theoretical framework
- computer algebra
- predicate logic
- asynchronous circuits
- logical theories
- deductive reasoning
- formal logic
- general theory
- logical framework
- modal logic
- computational model