| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 421601 | Electronic Notes in Theoretical Computer Science | 2011 | 13 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
