MV-algebra - PDFSEARCH.IO - Document Search Engine

MV-algebra
Results: 15

#	Item
1	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: Add to Reading List Source URL: www.mat.savba.sk Language: English - Date: 2016-08-03 08:36:28 Fuzzy logic Algebraic logic Algebraic structures MV-algebra Many-valued logic Von Neumann algebra Fuzzy set Algebra over a field Representation theory Quaternion
2	The logic of quasi true Antonio Di Nola1 , Revaz Grigolia2 and Giacomo Lenzi1 1 2 Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 15:13:07 Algebra Mathematical logic Mathematics Algebraic logic Fuzzy logic MV-algebra Many-valued logic Constructible universe Lie algebras Boolean algebra Ordinal number CurryHoward correspondence
3	Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-24 12:54:29 Algebra Mathematics Abstract algebra Algebraic logic Lattice theory Algebraic structures Fuzzy logic Adjoint functors Boolean algebra Heyting algebra Universal property MV-algebra
4	Sunday, 21 9:00-10:00 10:00-10:30 10:30-10:55 10:55-11:20 11:20-11:45 Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-06-18 11:41:28 Logic Mathematics Algebra Fuzzy logic Non-classical logic Lattice theory Mathematical logic Algebraic logic Monoidal t-norm logic BL Residuated lattice MV-algebra
5	The Blok-Ferreirim theorem for normal GBL-algebras and its application Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2007-08-07 18:46:38 Fuzzy logic Lattice theory Algebraic logic Algebraic structures Residuated lattice MV-algebra Variety BL Heyting algebra Logic Mathematical logic Mathematics
6	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:51:19 Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic
7	C:/Users/jipsen/Documents/Talks/SoftComputing2003/SoftComputingAbstract20030904.dvi Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2011-03-30 04:04:54 Fuzzy logic Algebraic structures Lattice theory Algebraic logic Mathematical logic Residuated lattice MV-algebra Monoidal t-norm logic Variety Mathematics Abstract algebra Logic
8	Hindawi Publishing Corporation e Scientiﬁc World Journal Volume 2015, Article ID, 2 pages http://dx.doi.orgEditorial Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2015-03-25 08:24:39 Hindawi Publishing Corporation MV-algebra Monoidal t-norm logic BL Soft set Many-valued logic Łukasiewicz logic Logic Mathematical logic Fuzzy logic
9	g03 – Multivariate Methods g03aac NAG Library Function Document nag_mv_prin_comp (g03aac) Add to Reading List Source URL: www.nag.com Language: English - Date: 2014-01-21 11:26:01 Data analysis Singular value decomposition C Standard Library Matrix theory Principal component analysis Printf format string Covariance matrix Matrix Scanf format string Algebra Linear algebra Mathematics
10	Mathematical Institute Slovak Academy of Sciences Add to Reading List Source URL: www.mat.savba.sk Language: English - Date: 2012-04-24 01:30:23 Algebraic logic Algebraic structures Operator theory Universal algebra Boolean algebra MV-algebra Ordinary differential equation Von Neumann algebra Variety Abstract algebra Mathematics Mathematical logic