LoF 2022: The BF Calculus, Laws of Form, and Modal Logic — Arthur M. Collings (presentingwork done with Louis H. Kauffman) from form bf Watch Video
Preview(s):
Gallery
Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
⏲ Duration: 17 min 47 sec ✓ Published: 25-Aug-2022
Description: This paper establishes representations for modal logics within the BF Calculus, introduced by the authors at LoF50 in 2019 as a four-valued extension to Spencer-Brown's Primary Algebra. nnThis paper establishes three principal results: nn1) Exactly 16 normal modal operators can be constructed asexpressions in BF and be expressed as combinations of four specific expressions in the Primary Algebra. These can be directly interpreted as accessibility relations within a 2-world version of Kripke's
Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)