Opis

• Tytuł:
  A Syntactic Approach to Closure Operation
• Twórca:
  Nowak, Marek
• Współtwórca:
  Department of Logic, University of Lodz Lindleya 3/5, 90-131 Lódź, Poland;
  marnowak@filozof.uni.lodz.pl
• Opis:
  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 of rule of inference for a given consequence operation may be played by an ordinary binary relation on the complete lattice on which the closure operation is defined.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
• Data:
  2018.06.22;
  2017
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3/4;
  46
• Temat i słowa kluczowe:
  closure operation;
  closure system;
  rule of inference
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/25178 ;
  2449-836X;
  10.18778/0138-0680.46.3.4.04
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy