A minimalistic many-valued theory of types

From MaRDI portal

Publication:3133165

Jump to:navigation, search

DOI10.1093/logcom/exw006zbMath1396.03014OpenAlexW2527594207MaRDI QIDQ3133165

Libor Běhounek

Publication date: 13 February 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exw006

Mathematics Subject Classification ID

Many-valued logic (03B50) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Fuzzy intensional semantics ⋮ Subtypes in fuzzy type theory

This page was built for publication: A minimalistic many-valued theory of types

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3133165&oldid=16224506"