A concept approach to input/output logic

Forfatter
Stolpe, Audun
Publisert
2015
Emneord
Semantikk
Analyse
Permalenke
https://ffi-publikasjoner.archive.knowledgearc.net/handle/20.500.12242/488
DOI
10.1016/j.jal.2015.04.002
Samling
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
Sammendrag
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