Browsing by Author "Britz, Katarina"

 

Browsing by Author "Britz, Katarina"

Sort by: Order: Results:

  • Power constructs and propositional systems
    Thumbnail
    Author: Britz, Katarina Date: 1999 Propositional systems are deductively closed sets of sentences phrased in the language of some propositional logic. The set of systems of a given logic is turned into an algebra by endowing it with a number of operations, and into a relational ... Read more