How big is BCI fragment of BCK logic

Tytuł:

Czasopismo:

Rok:

2013

Opis:

We investigate quantitative properties of BCI and BCK logics. The first part of the article compares the number of formulas provable in BCI versus BCK logics. We consider formulas built on implication and a fixed set of k variables. We investigate the proportion between the number of such formulas of a given length n provable in BCI logic against the number of formulas of length n provable in richer BCK logic. We examine an asymptotic behaviour of this fraction when length n of formulas tends to

Strony:

673-691

Tom (seria wydawnicza):

23(3)

Numer DOI:

doi:10.1093/logcom/exs017

Link:

http://logcom.oxfordjournals.org/search?submit=yes&fulltext=zaionc&x=16&y=1