Statistical properties of simple types

DOI10.1017/S0960129599002959MaRDI QIDQ4526148zbMATH OpenWikidataFDO

Authors Małgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc

Publication date 10 May 2001

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://ruj.uj.edu.pl/xmlui/handle/item/81436

zbMATH Keywords

intuitionistic propositional logicprobability of finding an inhabited typeprobability of finding tautologiessimply typed lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• A type theory for probability density functions
• The number of types in simple theories
• Counting partial types in simple theories
• On statistical type convergence in uniform spaces
• Simple types in discretely ordered structures
• scientific article; zbMATH DE number 6923849
• The complexity of Tukey types and cofinal types
• Probability distribution for simple tautologies
• On the limiting proportion of types

Cited in

(27)

• The density of truth in monadic fragments of some intermediate logics
• Probabilistic reasoning about simply typed lambda terms
• Inhabitation of types in the simply typed lambda calculus
• Probability distribution for simple tautologies
• Associative and commutative tree representations for Boolean functions
• Counting a type's (principal) inhabitants
• The fraction of large random trees representing a given Boolean function in implicational logic
• Asymptotic properties of combinatory logic
• scientific article; zbMATH DE number 1808200 (Why is no real title available?)
• A sprouting tree model for random boolean functions
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• How Many Figure Sets Are Codes?
• Tautologies over implication with negative literals
• Complexity and Limiting Ratio of Boolean Functions over Implication
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• On the density of truth of implicational parts of intuitionistic and classical logics
• Asymptotics and random sampling for BCI and BCK lambda terms
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• Statman's hierarchy theorem
• scientific article; zbMATH DE number 1916519 (Why is no real title available?)
• Statistics of implicational logic
• Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels
• On asymptotic divergency in equivalential logics
• Fuzzy logics – quantitatively
• Curry and Howard meet Borel
• On the limiting proportion of types
• Asymptotic densities in logic and type theory

This page was built for publication: Statistical properties of simple types

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