scientific article; zbMATH DE number 5054080

zbMath1098.03019MaRDI QIDQ5488260

Marek Zaionc

Publication date: 14 September 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

asymptotic densitycalculus of one variableimplication and negation

Mathematics Subject Classification ID

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

Related Items (11)

The fraction of large random trees representing a given Boolean function in implicational logic ⋮ Asymptotic Properties of Combinatory Logic ⋮ Intuitionistic vs. Classical Tautologies, Quantitative Comparison ⋮ Fuzzy logics – quantitatively ⋮ Asymptotic densities in logic and type theory ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height ⋮ Statistics of implicational logic ⋮ Tautologies over implication with negative literals ⋮ Complexity and Limiting Ratio of Boolean Functions over Implication ⋮ 2-Xor revisited: satisfiability and probabilities of functions ⋮ The density of truth in monadic fragments of some intermediate logics

This page was built for publication: