Fuzzy type theory with partial functions

DOI10.22111/ijfs.2019.4538zbMath1429.03065OpenAlexW2932931752MaRDI QIDQ5240896

Vilém Novák

Publication date: 29 October 2019

Full work available at URL: https://ijfs.usb.ac.ir/article_4538_23a27f249980a6556a8ab849480f08ef.pdf

zbMATH Keywords

description operatorfuzzy type theoryEQ-algebrapartial function

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Related Items (4)

Preservation of properties of residuated algebraic structure by structures for the partial fuzzy set theory ⋮ Variable-domain fuzzy sets. II: Apparatus ⋮ Properties of bisect-diagonal quadrilaterals ⋮ Fuzzy axiom of choice, fuzzy Zorn's lemma and fuzzy Hausdorff maximal principle

This page was built for publication: Fuzzy type theory with partial functions