Browsing Bulletin of the Section of Logic 44/1-2 (2015) by Subject "Tarski operator"

Now showing items 1-1 of 1

    • Categorical Abstract Algebraic Logic: Referential π-Institutions 

      Voutsadakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of ...