Asymptotic densities in logic and type theory
From MaRDI portal
Publication:931404
DOI10.1007/s11225-008-9110-0zbMath1142.03008OpenAlexW2154492192MaRDI QIDQ931404
Marek Zaionc, Zofia Kostrzycka
Publication date: 25 June 2008
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-008-9110-0
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (2)
The distribution of height and diameter in random non-plane binary trees ⋮ Fuzzy logics – quantitatively
Cites Work
- Statistics of intuitionistic versus classical logics
- Probability distribution for simple tautologies
- Singularity Analysis of Generating Functions
- On the density of truth of implicational parts of intuitionistic and classical logics
- Statistical properties of simple types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Asymptotic densities in logic and type theory