On the asymptotic density of tautologies in logic of implication and negation

MaRDI QIDQ5488260zbMATH OpenFDO

Authors Marek Zaionc

Publication date 14 September 2006

zbMATH Keywords

asymptotic densitycalculus of one variableimplication and negation

Mathematics Subject Classification ID

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

Recommendations

• Density of tautologies in logics with one variable
• Statistics of intuitionistic versus classical logics
• Probability distribution for simple tautologies
• scientific article; zbMATH DE number 2114316
• Statistics of implicational logic

Cited in

(17)

• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• Probability distribution for simple tautologies
• Tautologies over implication with negative literals
• scientific article; zbMATH DE number 1916519 (Why is no real title available?)
• Asymptotic properties of combinatory logic
• 2-Xor revisited: satisfiability and probabilities of functions
• The density of truth in monadic fragments of some intermediate logics
• Statistics of implicational logic
• Density of tautologies in logics with one variable
• scientific article; zbMATH DE number 2114316 (Why is no real title available?)
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Asymptotic densities in logic and type theory
• Asymptotic density for equivalence
• The fraction of large random trees representing a given Boolean function in implicational logic
• On the number of unary-binary tree-like structures with restrictions on the unary height
• Complexity and Limiting Ratio of Boolean Functions over Implication
• Fuzzy logics – quantitatively

This page was built for publication: On the asymptotic density of tautologies in logic of implication and negation

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