7 search results - page 2 / 2 » Profinite Completions and Canonical Extensions of Heyting Al... |
RTA
2005
Springer
13 years 12 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...
CORR
2011
Springer
12 years 10 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...