A Syntactic Approach to Closure Operation
Keyword(s):
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.
2017 ◽
Vol 13
(25)
◽
pp. 93
Keyword(s):
2012 ◽
Vol 20
(01)
◽
pp. 21-40
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):