Browsing University Publication Series by Subject "Algebras of contexts"
Now showing items 1-1 of 1
-
A uniform quantificational logic for algebraic notions ofcontext
(Skriftserien (Høgskolen i Agder), Book, 2002)A quantificational framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which ...