𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Moisture expansion of tiles in natural conditions

✍ Scribed by M. K. Gal'perina; S. V. Petrichenko


Publisher
Springer US
Year
1988
Tongue
English
Weight
348 KB
Volume
45
Category
Article
ISSN
0361-7610

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Glivenko like theorems in natural expans
✍ Roberto Cignoli; Antoni Torrens Torrell πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 204 KB

## Abstract The classical Glivenko theorem asserts that a propositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK‐logic with negation we understand an algebraizable logic whose language is an expansion of th