Browsing Bergen Open Research Archive by Journals "Mathematics"
Now showing items 1-1 of 1
-
Logics of Statements in Context-Category Independent Basics
(Journal article; Peer reviewed, 2022)Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms. Generalizing concepts like sets of generators in Group Theory, ...