How big is BCI fragment of BCK logic

DOI10.1093/logcom/exs017zbMath1282.03012arXiv1112.0643OpenAlexW2004282542MaRDI QIDQ5300586

Paweł M. Idziak, Marek Zaionc, Katarzyna Grygiel

Publication date: 27 June 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1112.0643

zbMATH Keywords

analytic combinatoricsBCI logicBCK logicasymptotic probability in logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels ⋮ Unnamed Item ⋮ Enumerating lambda terms by weighted length of their de Bruijn representation

Uses Software

• OEIS

This page was built for publication: How big is BCI fragment of BCK logic