The OEIS is supported by the many generous donors to the OEIS Foundation.
%I #11 Apr 06 2026 23:02:50
%S 0,1,5,61,2494651862209437
%N Size of the exact model for the diagram of the fragment [&, ->]^n of the intuitionistic propositional logic (see A393669).
%C The exact model is the underlying partial order of the diagram of [&, ->]^n (see the introduction from Renardel de Lavalette et al.).
%H G. R. Renardel de Lavalette, A. Hendriks, and D. H. J. de Jongh, <a href="https://doi.org/10.1093/logcom/exq058">Intuitionistic implication without disjunction</a>, Journal of Logic and Computation, vol. 22, 2010, pp. 375-404.
%F a(n) = Sum_{m=0..n-1} binomial(n, m)*A393669(m) (this is Theorem 9.(1) from Renardel de Lavalette et al.).
%Y Cf. A393669.
%K nonn,more
%O 0,3
%A _Lorenzo Sauras Altuzarra_, Mar 27 2026