• Corpus ID: 14240078

Asymptotic Properties of Logics

  title={Asymptotic Properties of Logics},
  author={Marek Zaionc},
  journal={Schedae Informaticae},
  • M. Zaionc
  • Published 2003
  • Mathematics
  • Schedae Informaticae
This paper presents the number of results concerning problems of asymptotic densities in the variety of propositional logics. We investigate, for propositional formulas, the proportion of tautologies of the given length n against the number of all formulas of length n. We are specially interested in asymptotic behavior of this fraction. We show what the relation between a number of premises of an implicational formula and asymptotic probability of finding a formula with this number of premises… 



Statistics of implicational logic

On the Asymptotic Density of Tautologies in Logic of Implication and Negation

The paper solves the problem of finding the asymptotic probability of the set of tautologies of classical logic with one propositional variable, implication and negation and proves the existence of this limit for classical (and at the same time intuitionistic) logic of implication built with exactly one variable.

Statistical properties of simple types

From the lower and upper bounds presented, it is deduced that at least 1/3 of classical tautologies are intuitionistic, or the density or asymptotic probability of provable intuitionistic propositional formulas in the set of all formulas.

Advanced Combinatorics: The Art of Finite and Infinite Expansions

I. Vocabulary of Combinatorial Analysis.- 1.1. Subsets of a Set Operations.- 1.2. Product Sets.- 1.3. Maps.- 1.4. Arrangements, Permutations.- 1.5. Combinations (without repetitions) or Blocks.- 1.6.

Statistics of implicational logic, to appear in

  • Electronic Notes in Theoretical Computer Science

Statistics of Intuitionistic versus Classical Logics

This paper shows the exact density of intuitionistic logic and demonstrates that it covers a substantial part of classical prepositional calculus and may have a philosophical impact on understanding how much the phenomenon of truth is sporadic or frequent in random mathematics sentences.

Generatingfunctionology, Second edition

  • 1994

Received November

  • Received November
  • 2002