2005
DOI: 10.1016/j.entcs.2005.06.022
|View full text |Cite
|
Sign up to set email alerts
|

Asymptotic Density for Equivalence

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

0
6
0

Year Published

2007
2007
2012
2012

Publication Types

Select...
4
3

Relationship

0
7

Authors

Journals

citations
Cited by 11 publications
(6 citation statements)
references
References 6 publications
0
6
0
Order By: Relevance
“…Some variants involving expressions with other logical connectives have also been considered. Genitrini and Kozik have studied the influence of adding the connectors ∨ and ∧ to implication [7], while Matecki [13] considered the case of the single equivalence connector. For two connectors again, the and/or case has already received much attention -see Lefmann and Savický [12], Chauvin, Flajolet, Gardy and Gittenberger [1], Gardy and Woods [6], Woods [18] and Kozik [11].…”
Section: Introductionmentioning
confidence: 99%
“…Some variants involving expressions with other logical connectives have also been considered. Genitrini and Kozik have studied the influence of adding the connectors ∨ and ∧ to implication [7], while Matecki [13] considered the case of the single equivalence connector. For two connectors again, the and/or case has already received much attention -see Lefmann and Savický [12], Chauvin, Flajolet, Gardy and Gittenberger [1], Gardy and Woods [6], Woods [18] and Kozik [11].…”
Section: Introductionmentioning
confidence: 99%
“…It was shown in [12] that asymptotically almost every tautology of classical logic is intuitionistic considered in [13]. See also [25,20] for the expressions built on the single equivalence connector. For And/Or trees, we refer the reader to Woods's result that the tautologies have asymptotic probability 3/4k, and that almost all of them have the simple form ℓ ∨ · · · ∨l ∨ .…”
Section: Introductionmentioning
confidence: 99%
“…A generalisation which takes commutativity of the connectives into account and maps this property into the model was presented recently in [10]. The question for the probability of a tautology was pursued for instance in [13,14,15,18] for various logical systems. An overview is presented in Gardy's survey [8].…”
Section: Introductionmentioning
confidence: 99%