Simple view
Full metadata view
Authors
Statistics
How big is BCI fragment of BCK logic
Journal
Journal of Logic and Computation
Author
Grygiel Katarzyna
Idziak Paweł
Zaionc Marek
Volume
23
Number
3
Pages
673-691
ISSN
0955-792X
eISSN
1465-363X
Language
English
Journal language
English
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
Scopus© citations
15
| dc.affiliation | Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej | pl |
| dc.contributor.author | Grygiel, Katarzyna - 136103 | pl |
| dc.contributor.author | Idziak, Paweł - 128365 | pl |
| dc.contributor.author | Zaionc, Marek - 132832 | pl |
| dc.date.accessioned | 2014-07-16T05:30:21Z | |
| dc.date.available | 2014-07-16T05:30:21Z | |
| dc.date.issued | 2013 | pl |
| dc.description.number | 3 | pl |
| dc.description.physical | 673-691 | pl |
| dc.description.volume | 23 | pl |
| dc.identifier.doi | 10.1093/logcom/exs017 | pl |
| dc.identifier.eissn | 1465-363X | pl |
| dc.identifier.issn | 0955-792X | pl |
| dc.identifier.uri | http://ruj.uj.edu.pl/xmlui/handle/item/68 | |
| dc.language | eng | pl |
| dc.language.container | eng | pl |
| dc.rights.licence | Bez licencji otwartego dostępu | |
| dc.subtype | Article | pl |
| dc.title | How big is BCI fragment of BCK logic | pl |
| dc.title.journal | Journal of Logic and Computation | pl |
| dc.type | JournalArticle | pl |
| dspace.entity.type | Publication |
dc.affiliationpl
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej dc.contributor.authorpl
Grygiel, Katarzyna - 136103 dc.contributor.authorpl
Idziak, Paweł - 128365 dc.contributor.authorpl
Zaionc, Marek - 132832 dc.date.accessioned
2014-07-16T05:30:21Z dc.date.available
2014-07-16T05:30:21Z dc.date.issuedpl
2013 dc.description.numberpl
3 dc.description.physicalpl
673-691 dc.description.volumepl
23 dc.identifier.doipl
10.1093/logcom/exs017 dc.identifier.eissnpl
1465-363X dc.identifier.issnpl
0955-792X dc.identifier.uri
http://ruj.uj.edu.pl/xmlui/handle/item/68 dc.languagepl
eng dc.language.containerpl
eng dc.rights.licence
Bez licencji otwartego dostępu dc.subtypepl
Article dc.titlepl
How big is BCI fragment of BCK logic dc.title.journalpl
Journal of Logic and Computation dc.typepl
JournalArticle dspace.entity.type
Publication Affiliations
Wydział Matematyki i Informatyki
Grygiel, Katarzyna
Idziak, Paweł
Zaionc, Marek