Statistical properties of simple types
From MaRDI portal
Publication:4526148
DOI10.1017/S0960129599002959zbMath0966.03016WikidataQ127770593 ScholiaQ127770593MaRDI QIDQ4526148
Marek Zaionc, Małgorzata Moczurad, Jerzy Tyszkiewicz
Publication date: 10 May 2001
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
intuitionistic propositional logicsimply typed lambda calculusprobability of finding an inhabited typeprobability of finding tautologies
Related Items (19)
The fraction of large random trees representing a given Boolean function in implicational logic ⋮ Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels ⋮ Probability distribution for simple tautologies ⋮ A sprouting tree model for random boolean functions ⋮ Asymptotics and random sampling for BCI and BCK lambda terms ⋮ Asymptotic Properties of Combinatory Logic ⋮ Intuitionistic vs. Classical Tautologies, Quantitative Comparison ⋮ In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid ⋮ Fuzzy logics – quantitatively ⋮ How Many Figure Sets Are Codes? ⋮ Asymptotic densities in logic and type theory ⋮ Statistics of implicational logic ⋮ 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 ⋮ Associative and commutative tree representations for Boolean functions ⋮ On asymptotic divergency in equivalential logics ⋮ The density of truth in monadic fragments of some intermediate logics ⋮ On the density of truth of implicational parts of intuitionistic and classical logics
This page was built for publication: Statistical properties of simple types