Publication:5488260
From MaRDI portal
zbMath1098.03019MaRDI QIDQ5488260
Publication date: 14 September 2006
Related Items
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