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

zbMATH Open1098.03019MaRDI QIDQ5488260FDOQ5488260

Authors: Marek Zaionc 

Publication date: 14 September 2006

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

zbMATH Keywords

asymptotic densitycalculus of one variableimplication and negation

Mathematics Subject Classification ID

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

Cited In (17)

• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• Probability distribution for simple tautologies
• Title not available (Why is that?)
• Tautologies over implication with negative literals
• 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
• Title not available (Why is that?)
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Asymptotic density for equivalence
• Asymptotic densities in logic and type theory
• The fraction of large random trees representing a given Boolean function in implicational logic
• Fuzzy logics – quantitatively
• On the number of unary-binary tree-like structures with restrictions on the unary height
• Complexity and Limiting Ratio of Boolean Functions over Implication

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)