3 papers
math.LO2026
Visibility Theory
Frode Alfson Bjørdal
This paper develops Visibility Theory (VT), a framework in which visibility is taken as the primitive semantic notion and truth is defined in terms of visibility together with a st…
math.LO2022
Librationism & its classical and extraclassical set theories
Frode A. Bjørdal
Librationist set theory £ is developed. It descends from semantics for truth, initiated by Kripke, and others. # extends £, of Librationist closures of the paradoxes in Logic a…
math.LO2014
Elements of Librationism
Frode Bjørdal
We develop librationism, £, and clarify some mathematical and philosophical matters which relate to the particular manner in which it deals with the paradoxes and to its usefulness…