EQ-algebra-based fuzzy type theory and its extensions
type: Item
instance of: scholarly article
title: EQ-algebra-based fuzzy type theory and its extensions
zbMATH Open document ID: 1243.03034
author: Vilém Novák
publication date: 2012-05-21T00:00:00Z
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 6037247
zbMATH Keywords: mathematical fuzzy logic
zbMATH Keywords: fuzzy type theory
zbMATH Keywords: EQ-algebra
zbMATH Keywords: residuated lattice
describes a project that uses: ETPS
describes a project that uses: TPS
MaRDI profile type: Publication
full work available at URL: jzp087
OpenAlex ID: W2133457869
DOI: 10.1093/JIGPAL/JZP087
published in: Logic Journal of the IGPL
Recommended article: Fuzzy Type Theory, Descriptions, and Partial Functions
Recommended article: On fuzzy type theory
Recommended article: EQ-algebras from the point of view of generalized algebras with fuzzy equalities
Recommended article: Fuzzy type theory with partial functions
Recommended article: Algebras with fuzzy equalities
Recommended article: EQ-algebras based on fuzzy hyper EQ-filters
Recommended article: Extended-order algebras and fuzzy implicators
Recommended article: Q4888037
Recommended article: Q5439784
Recommended article: Q5039132
description: scientific article; zbMATH DE number 6037247