Description

• Title:
  A Syntactic Approach to Closure Operation
• Creator:
  Nowak, Marek
• Contributor:
  Department of Logic, University of Lodz Lindleya 3/5, 90-131 Lódź, Poland;
  marnowak@filozof.uni.lodz.pl
• Description:
  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.
• Object availability:
  free access
• Rights:
  © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
• Date:
  2018.06.22;
  2017
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3/4;
  46
• Subject:
  closure operation;
  closure system;
  rule of inference
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/25178 ;
  2449-836X;
  10.18778/0138-0680.46.3.4.04
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  seek permission
• Type:
  image