Statistics of implicational logic

DOI10.1016/S1571-0661(04)80856-9MaRDI QIDQ4924541zbMATH OpenFDO

Authors Marek Zaionc

Publication date 6 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80856-9

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Probability distribution for simple tautologies
• Tautologies over implication with negative literals
• On the asymptotic density of tautologies in logic of implication and negation
• Statistics of intuitionistic versus classical logics
• The fraction of large random trees representing a given Boolean function in implicational logic

Cites work

• A Remark on Stirling's Formula
• Analytic combinatorics
• scientific article; zbMATH DE number 729555 (Why is no real title available?)
• scientific article; zbMATH DE number 3443655 (Why is no real title available?)
• On the asymptotic density of tautologies in logic of implication and negation
• Statistical properties of simple types
• Statistics of intuitionistic versus classical logics

Cited in

(8)

• Statistics of intuitionistic versus classical logics
• Probability distribution for simple tautologies
• The fraction of large random trees representing a given Boolean function in implicational logic
• Tautologies over implication with negative literals
• Complexity and Limiting Ratio of Boolean Functions over Implication
• Classical and Intuitionistic Logic Are Asymptotically Identical
• On the asymptotic density of tautologies in logic of implication and negation
• Asymptotic densities in logic and type theory

This page was built for publication: Statistics of implicational logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4924541)