First Page | Document Content | |
---|---|---|
![]() Date: 2007-08-07 18:46:38Fuzzy logic Lattice theory Algebraic logic Algebraic structures Residuated lattice MV-algebra Variety BL Heyting algebra Logic Mathematical logic Mathematics | Add to Reading List |
![]() | Questionnaire Summary of the main activities of a research institute of the Slovak Academy of Sciences Period: January 1, December 31, Basic information on the institute:DocID: 1pu0j - View Document |
![]() | The logic of quasi true Antonio Di Nola1 , Revaz Grigolia2 and Giacomo Lenzi1 1 2DocID: 1mnIu - View Document |
![]() | Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of MilanDocID: 1mink - View Document |
![]() | Sunday, 21 9:00-10:00 10:00-10:30 10:30-10:55 10:55-11:20 11:20-11:45DocID: 1mcHh - View Document |
![]() | The Blok-Ferreirim theorem for normal GBL-algebras and its applicationDocID: 1aCQR - View Document |