A minimalistic many-valued theory of types

DOI10.1093/LOGCOM/EXW006MaRDI QIDQ3133165zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(5)

• Fuzzy intensional semantics
• scientific article; zbMATH DE number 3273876 (Why is no real title available?)
• 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)