A394654 Size of the exact model for the diagram of the fragment [&, ->]^n of the intuitionistic propositional logic (see A393669).

0, 1, 5, 61, 2494651862209437

Offset

0,3

Comments

The exact model is the underlying partial order of the diagram of [&, ->]^n (see the introduction from Renardel de Lavalette et al.).

Links

Table of n, a(n) for n=0..4.

G. R. Renardel de Lavalette, A. Hendriks, and D. H. J. de Jongh, Intuitionistic implication without disjunction, Journal of Logic and Computation, vol. 22, 2010, pp. 375-404.

Formula

a(n) = Sum_{m=0..n-1} binomial(n, m)*A393669(m) (this is Theorem 9.(1) from Renardel de Lavalette et al.).

Crossrefs

Cf. A393669.

Sequence in context: A326571 A201254 A116163 * A092823 A152031 A302181

Adjacent sequences: A394651 A394652 A394653 * A394655 A394656 A394657

Keyword

nonn,more

Author

Lorenzo Sauras Altuzarra, Mar 27 2026

Status

approved