Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950726118> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2950726118 abstract "We investigate quantitative properties of BCI and BCK logics. The first part of the paper 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 behavior of this fraction when length $n$ of formulas tends to infinity. This limit gives a probability measure that randomly chosen BCK formula is also provable in BCI. We prove that this probability tends to zero as the number of variables tends to infinity. The second part of the paper is devoted to the number of lambda terms representing proofs of BCI and BCK logics. We build a proportion between number of such proofs of the same length $n$ and we investigate asymptotic behavior of this proportion when length of proofs tends to infinity. We demonstrate that with probability 0 a randomly chosen BCK proof is also a proof of a BCI formula." @default.
- W2950726118 created "2019-06-27" @default.
- W2950726118 creator A5001585054 @default.
- W2950726118 creator A5025578269 @default.
- W2950726118 creator A5067755415 @default.
- W2950726118 date "2011-12-03" @default.
- W2950726118 modified "2023-09-27" @default.
- W2950726118 title "How big is BCI fragment of BCK logic" @default.
- W2950726118 cites W1481062998 @default.
- W2950726118 cites W1494407580 @default.
- W2950726118 cites W1507897467 @default.
- W2950726118 cites W1528047353 @default.
- W2950726118 cites W1543465805 @default.
- W2950726118 cites W2000387653 @default.
- W2950726118 cites W2018547553 @default.
- W2950726118 cites W2025385225 @default.
- W2950726118 cites W2043392316 @default.
- W2950726118 cites W2059128173 @default.
- W2950726118 cites W2060897680 @default.
- W2950726118 cites W2068486975 @default.
- W2950726118 cites W2081349727 @default.
- W2950726118 cites W2106356382 @default.
- W2950726118 cites W2126209209 @default.
- W2950726118 cites W2223139644 @default.
- W2950726118 cites W2340541605 @default.
- W2950726118 cites W70281332 @default.
- W2950726118 cites W2165669345 @default.
- W2950726118 hasPublicationYear "2011" @default.
- W2950726118 type Work @default.
- W2950726118 sameAs 2950726118 @default.
- W2950726118 citedByCount "0" @default.
- W2950726118 crossrefType "posted-content" @default.
- W2950726118 hasAuthorship W2950726118A5001585054 @default.
- W2950726118 hasAuthorship W2950726118A5025578269 @default.
- W2950726118 hasAuthorship W2950726118A5067755415 @default.
- W2950726118 hasConcept C108710211 @default.
- W2950726118 hasConcept C118615104 @default.
- W2950726118 hasConcept C134306372 @default.
- W2950726118 hasConcept C2524010 @default.
- W2950726118 hasConcept C33923547 @default.
- W2950726118 hasConcept C48372109 @default.
- W2950726118 hasConcept C7321624 @default.
- W2950726118 hasConcept C94375191 @default.
- W2950726118 hasConceptScore W2950726118C108710211 @default.
- W2950726118 hasConceptScore W2950726118C118615104 @default.
- W2950726118 hasConceptScore W2950726118C134306372 @default.
- W2950726118 hasConceptScore W2950726118C2524010 @default.
- W2950726118 hasConceptScore W2950726118C33923547 @default.
- W2950726118 hasConceptScore W2950726118C48372109 @default.
- W2950726118 hasConceptScore W2950726118C7321624 @default.
- W2950726118 hasConceptScore W2950726118C94375191 @default.
- W2950726118 hasLocation W29507261181 @default.
- W2950726118 hasOpenAccess W2950726118 @default.
- W2950726118 hasPrimaryLocation W29507261181 @default.
- W2950726118 hasRelatedWork W113209803 @default.
- W2950726118 hasRelatedWork W1518766236 @default.
- W2950726118 hasRelatedWork W1539288393 @default.
- W2950726118 hasRelatedWork W1964394232 @default.
- W2950726118 hasRelatedWork W2004282542 @default.
- W2950726118 hasRelatedWork W2018805361 @default.
- W2950726118 hasRelatedWork W2076048718 @default.
- W2950726118 hasRelatedWork W2104715607 @default.
- W2950726118 hasRelatedWork W2112145019 @default.
- W2950726118 hasRelatedWork W2116766306 @default.
- W2950726118 hasRelatedWork W2222197300 @default.
- W2950726118 hasRelatedWork W225390579 @default.
- W2950726118 hasRelatedWork W2261511394 @default.
- W2950726118 hasRelatedWork W2340715411 @default.
- W2950726118 hasRelatedWork W2460611553 @default.
- W2950726118 hasRelatedWork W255293104 @default.
- W2950726118 hasRelatedWork W3040284829 @default.
- W2950726118 hasRelatedWork W3097820754 @default.
- W2950726118 hasRelatedWork W659080344 @default.
- W2950726118 hasRelatedWork W86998899 @default.
- W2950726118 isParatext "false" @default.
- W2950726118 isRetracted "false" @default.
- W2950726118 magId "2950726118" @default.
- W2950726118 workType "article" @default.