On the density of truth of implicational parts of intuitionistic and classical logics

DOI10.3166/jancl.13.391-421zbMath1181.03005OpenAlexW2039830772MaRDI QIDQ3643262

Zofia Kostrzycka

Publication date: 11 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.13.391-421

zbMATH Keywords

generating functionsdensitylinear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

The fraction of large random trees representing a given Boolean function in implicational logic ⋮ Asymptotic densities in logic and type theory ⋮ Complexity and Limiting Ratio of Boolean Functions over Implication ⋮ On asymptotic divergency in equivalential logics

Cites Work

• Unnamed Item
• Statistics of intuitionistic versus classical logics
• A Remark on Stirling's Formula
• Statistical properties of simple types

This page was built for publication: On the density of truth of implicational parts of intuitionistic and classical logics