First Page | Document Content | |
---|---|---|
Date: 2015-05-18 15:13:07Algebra Mathematical logic Mathematics Algebraic logic Fuzzy logic MV-algebra Many-valued logic Constructible universe Lie algebras Boolean algebra Ordinal number CurryHoward correspondence | The logic of quasi true Antonio Di Nola1 , Revaz Grigolia2 and Giacomo Lenzi1 1 2Add to Reading ListSource URL: logica.dmi.unisa.itDownload Document from Source WebsiteFile Size: 209,67 KBShare Document on Facebook |