Asymptotic density for equivalence

zbMATH Open1272.03062MaRDI QIDQ2851696FDOQ2851696

Authors: Grzegorz Matecki 

Publication date: 2 October 2013

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

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

Mathematics Subject Classification ID

Classical propositional logic (03B05)

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)