Now showing items 1-1 of 1
Lukasiewicz logic: algebras and sheaves
(Universita degli studi di Salerno, 2011-02-21)
Classical logic arose from the need to study forms and laws of the human reasoning. But soon, it came out the di culties of classical logic to formalize uncertain events and vague concepts, for which it is not possible ...