Pages that link to "Item:Q4526148"

The following pages link to Statistical properties of simple types (Q4526148):

Displaying 18 items.

• Asymptotics and random sampling for BCI and BCK lambda terms (Q391429) (← links)
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid (Q408542) (← links)
• Asymptotic densities in logic and type theory (Q931404) (← links)
• The density of truth in monadic fragments of some intermediate logics (Q1006461) (← links)
• Probability distribution for simple tautologies (Q2369016) (← links)
• Associative and commutative tree representations for Boolean functions (Q2514128) (← links)
• The fraction of large random trees representing a given Boolean function in implicational logic (Q2884007) (← links)
• Asymptotic Properties of Combinatory Logic (Q2948454) (← links)
• A sprouting tree model for random boolean functions (Q3460511) (← links)
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison (Q3499752) (← links)
• How Many Figure Sets Are Codes? (Q3540129) (← links)
• Tautologies over implication with negative literals (Q3583801) (← links)
• Complexity and Limiting Ratio of Boolean Functions over Implication (Q3599140) (← links)
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System (Q3605535) (← links)
• On the density of truth of implicational parts of intuitionistic and classical logics (Q3643262) (← links)
• Statistics of implicational logic (Q4924541) (← links)
• Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels (Q5210975) (← links)
• On asymptotic divergency in equivalential logics (Q5458069) (← links)