Statistics of implicational logic

DOI10.1016/S1571-0661(04)80856-9zbMath1264.03036MaRDI QIDQ4924541

Marek Zaionc

Publication date: 6 June 2013

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

Mathematics Subject Classification ID

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

Related Items (2)

The fraction of large random trees representing a given Boolean function in implicational logic ⋮ Complexity and Limiting Ratio of Boolean Functions over Implication

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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: Statistics of implicational logic