A concept approach to input/output logic

Author
Stolpe, Audun
Date Issued
2015
Keywords
Semantikk
Analyse
Permalink
http://publications.ffi.no/handle/123456789/488
DOI
10.1016/j.jal.2015.04.002
Collection
Articles
Description
Stolpe, Audun. A concept approach to input/output logic. Journal of Applied Logic 2015 ;Volum 13.(3) s. 239-258
1246064.pdf
Size: 900k
Abstract
This paper provides a semantics for input/input output logic based on formal concept analysis. The central result shows that an input/output logic axiomatised by a relation R is the same as the logic induced by deriving pairs from the concept lattice generated by R using a ∧- and ∨-classical Scott consequence relation. This correspondence offers powerful analytical techniques for classifying, visualising and analysing input/output relations, revealing implicit hierarchical structure and/or natural clusterings and dependencies. The application of all formal developments are illustrated by a worked example towards the end.
View Meta Data