Wyświetlanie pozycji 1-1 z 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 ...