Uwe Wolter

Logics of Statements in Context-Category Independent Basics

2022 · Mathematics

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, underlying …