A Tool for Analysing Logics
Sheila R. M. Veloso, Paulo A. S. Veloso, Paulo A.S. Veloso, Paula M. Veloso, Paula M. Veloso · Electronic Notes in Theoretical Computer Science · 2011
We introduce and examine a tool for analysing logics. This algebraic tool, coming from some ideas introduced by J. Piaget, provides condensed information about a logic (with emphasis on the behavior of a unary symbol), as such, it can be employed for analysing and, to some extent, comparing logics.