Now showing items 1-1 of 1

    • Propositional Logic and Formal Codification of Behavioral Operations 

      Salthe, Gunnar; Løkke, Jon Arne; Arntzen, Erik (Cambridge Center for Behavioral Studies, 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 ...