![]() | Only 14 pages are availabe for public view |
Abstract It is known that the classical proposition al calculus give sris e , in anatural way, to the study of Boolean algebras . Byex actlythe same method , we canas sociate with other logics ( e.g. non - classicallogics , n - valued logics ) various classes of lattices |