Probability distribution for simple tautologies

DOI10.1016/j.tcs.2006.01.002zbMath1090.03002OpenAlexW2060897680MaRDI QIDQ2369016

Marek Zaionc

Publication date: 28 April 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.01.002

zbMATH Keywords

truthasymptotic probability in logicprobability distribution in logicrandom logical sentences

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Classical propositional logic (03B05)

Related Items (4)

Asymptotic Properties of Combinatory Logic ⋮ Intuitionistic vs. Classical Tautologies, Quantitative Comparison ⋮ Asymptotic densities in logic and type theory ⋮ Tautologies over implication with negative literals

Cites Work

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

This page was built for publication: Probability distribution for simple tautologies