On asymptotic divergency in equivalential logics

DOI10.1017/S0960129507006391MaRDI QIDQ5458069zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Asymptotic density for equivalence
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Density of tautologies in logics with one variable
• Statistics of intuitionistic versus classical logics
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

Cites work

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

Cited in

(6)

• Axiomatising divergence
• Asymptotic density for equivalence
• The fraction of large random trees representing a given Boolean function in implicational logic
• scientific article; zbMATH DE number 4143146 (Why is no real title available?)
• Complexity and Limiting Ratio of Boolean Functions over Implication
• Some remarks on equivalence in infinitary and stationary logic

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

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