A minimalistic many-valued theory of types

DOI10.1093/LOGCOM/EXW006zbMATH Open1396.03014OpenAlexW2527594207MaRDI QIDQ3133165FDOQ3133165

Authors: 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

Recommendations

• scientific article; zbMATH DE number 3273876
• scientific article; zbMATH DE number 1302061
• Bounded existentials and minimal typing
• A Theory of Ambiguous Types and Its Axiomatizations
• A modular construction of type theories
• An intuitionistic theory of types with assumptions of high-arity variables
• A theory of qualified types
• scientific article; zbMATH DE number 5872250
• A Type Theory with Mixed Constructivity and Assignments
• scientific article; zbMATH DE number 3285192

Mathematics Subject Classification ID

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

Cited In (5)

• Fuzzy intensional semantics
• Title not available (Why is that?)
• From classical to fuzzy type theory
• Subtypes in fuzzy type theory
• On Virtues of Many-Valued (Fuzzy) Type Theories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133165)