Extension Properties and Subdirect Representation in Abstract Algebraic Logic.
Tomás LávickaCarles NogueraPublished in: Stud Logica (2018)
Keyphrases
- algebraic structure
- multi valued
- logical representation
- image representation
- higher level
- relation algebra
- desirable properties
- graphical representation
- visual properties
- state machine
- formal language
- spatial structure
- representation language
- high level
- representation scheme
- feature representation
- structural properties
- modal logic
- logic programming
- higher order