On asymptotic divergency in equivalential logics

DOI10.1017/S0960129507006391zbMath1136.03008OpenAlexW2134383339MaRDI QIDQ5458069

Zofia Kostrzycka

Publication date: 10 April 2008

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129507006391

zbMATH Keywords

density of truth

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

• Statistics of intuitionistic versus classical logics
• Equivalential algebras. I: Representation
• Singularity Analysis of Generating Functions
• On the density of truth of implicational parts of intuitionistic and classical logics
• Statistical properties of simple types

This page was built for publication: On asymptotic divergency in equivalential logics