<--- Back to Details
First PageDocument Content
Algebraic logic / Algebraic structures / Operator theory / Universal algebra / Boolean algebra / MV-algebra / Ordinary differential equation / Von Neumann algebra / Variety / Abstract algebra / Mathematics / Mathematical logic
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

Mathematical Institute Slovak Academy of Sciences

Add to Reading List

Source URL: www.mat.savba.sk

Download Document from Source Website

File Size: 852,20 KB

Share Document on Facebook

Similar Documents

Fuzzy logic / Algebraic logic / Algebraic structures / MV-algebra / Many-valued logic / Von Neumann algebra / Fuzzy set / Algebra over a field / Representation theory / Quaternion

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

Algebra / 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 2

DocID: 1mnIu - View Document

Algebra / Mathematics / Abstract algebra / Algebraic logic / Lattice theory / Algebraic structures / Fuzzy logic / Adjoint functors / Boolean algebra / Heyting algebra / Universal property / MV-algebra

Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan

DocID: 1mink - View Document

Logic / Mathematics / Algebra / Fuzzy logic / Non-classical logic / Lattice theory / Mathematical logic / Algebraic logic / Monoidal t-norm logic / BL / Residuated lattice / MV-algebra

Sunday, 21 9:00-10:00 10:00-10:30 10:30-10:55 10:55-11:20 11:20-11:45

DocID: 1mcHh - View Document

Fuzzy logic / Lattice theory / Algebraic logic / Algebraic structures / Residuated lattice / MV-algebra / Variety / BL / Heyting algebra / Logic / Mathematical logic / Mathematics

The Blok-Ferreirim theorem for normal GBL-algebras and its application

DocID: 1aCQR - View Document