3 search results - page 1 / 1 » Axiomatic Rewriting Theory I: A Diagrammatic Standardization... |
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
LANMR
2007
13 years 6 months ago
2007
The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which c...
RTA
2005
Springer
13 years 10 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...