# Density of Tautologies in Logics with One Variable

```@article{Aszals2012DensityOT,
title={Density of Tautologies in Logics with One Variable},
author={L{\'a}szl{\'o} Aszal{\'o}s and Tam{\'a}s Herendi},
journal={Acta Cybern.},
year={2012},
volume={20},
pages={385-398}
}```
• Published 1 August 2012
• Philosophy
• Acta Cybern.
In the present paper we estimate the ratio of the number of tautologies and the number of formulae of length n by determining the asymptotic density of tautologies in different kinds of logics with one variable. The logics under consideration are the ones with a single connective (nand or nor); negation with a connective (disjunction or conjunction); and several connectives.
A fundamental relation between generating functions' values on the singularity point and ratios of coefficients is discovered, which can be understood as another intepretation of the Szegő lemma for certain quadratic systems.

## References

SHOWING 1-10 OF 14 REFERENCES

The aim of this paper is counting the probability that a random modal formula is a tautology. We examine {→, 2} fragment of two modal logics S5 and S4 over the language with one propositional
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.
The paper is an attempt to count the proportion of tautologies of Grzegorczyk’s modal calculus among all formulas. We take recourse of some theorems proved in [2].
First, a correspondence between the syntax of propositions to the semantics of functions using a system of equations is described and how to solve such a system is shown.
• Mathematics
Mathematical Structures in Computer Science
• 2000
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.
It is argued that a sophisticated question-answering machine that has the capability of making inferences from its data base should employ a certain four-valued logic, the motivating consideration
• Philosophy
Stud Logica
• 2004
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.

### Orthogonal polynomials, volume XXIII of AMS Colloquium Publications

• Orthogonal polynomials, volume XXIII of AMS Colloquium Publications
• 1939