Wyświetlanie pozycji 7-7 z 7

    • A Syntactic Approach to Closure Operation 

      Nowak, Marek ORCID (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role ...