Asymptotic density for equivalence

MaRDI QIDQ2851696zbMATH OpenFDO

Authors Grzegorz Matecki

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051285

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• On asymptotic divergency in equivalential logics
• Density of tautologies in logics with one variable
• On the asymptotic density of tautologies in logic of implication and negation
• Asymptotic densities in logic and type theory
• scientific article; zbMATH DE number 2114316

Cited in

(7)

• Tautologies over implication with negative literals
• Equivalence criterion for two asymptotic formulae
• On asymptotic divergency in equivalential logics
• Distribution of the equilibrium logic formulas in classical logic metric space
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• The fraction of large random trees representing a given Boolean function in implicational logic
• Complexity and Limiting Ratio of Boolean Functions over Implication

This page was built for publication: Asymptotic density for equivalence

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