3 search results - page 1 / 1 » Axiomatic Rewriting Theory I: A Diagrammatic Standardization... |
50
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
86
Voted
LANMR
2007
15 years 1 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...
85
Voted
RTA
2005
Springer
15 years 6 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...