Blar i ODA Open Digital Archive på forfatter "Salthe, Gunnar"
-
Propositional Logic and Formal Codification of Behavioral Operations
Salthe, Gunnar; Løkke, Jon Arne; Arntzen, Erik (Behavior and Philosophy;41, Journal article; Peer reviewed, 2015)A formal symbolic language for behavioral operations is proposed, based on propositional logic. The system describes how an experiment changes an organism's physical environment. With few exceptions, the codification system ...