Simple view
Full metadata view
Authors
Statistics
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
Journal
Annals of Pure and Applied Logic
Author
Genitrini Antoine
Kozik Jakub
Volume
163
Number
7
Pages
875-887
ISSN
0168-0072
eISSN
1873-2461
Language
English
Journal language
English
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
Scopus© citations
7
| cris.lastimport.wos | 2024-04-09T19:01:36Z | |
| dc.affiliation | Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej | pl |
| dc.contributor.author | Genitrini, Antoine | pl |
| dc.contributor.author | Kozik, Jakub - 129355 | pl |
| dc.date.accessioned | 2014-07-30T12:41:10Z | |
| dc.date.available | 2014-07-30T12:41:10Z | |
| dc.date.issued | 2012 | pl |
| dc.date.openaccess | 60 | |
| dc.description.accesstime | po opublikowaniu | |
| dc.description.number | 7 | pl |
| dc.description.physical | 875-887 | pl |
| dc.description.version | ostateczna wersja wydawcy | |
| dc.description.volume | 163 | pl |
| dc.identifier.doi | 10.1016/j.apal.2011.09.011 | pl |
| dc.identifier.eissn | 1873-2461 | pl |
| dc.identifier.issn | 0168-0072 | pl |
| dc.identifier.uri | http://ruj.uj.edu.pl/xmlui/handle/item/394 | |
| dc.language | eng | pl |
| dc.language.container | eng | pl |
| dc.rights | Dodaję tylko opis bibliograficzny | |
| dc.rights.licence | Inna otwarta licencja | |
| dc.share.type | inne | |
| dc.source.integrator | false | |
| dc.subtype | Article | pl |
| dc.title | In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid | pl |
| dc.title.journal | Annals of Pure and Applied Logic | pl |
| dc.type | JournalArticle | pl |
| dspace.entity.type | Publication |
cris.lastimport.wos
2024-04-09T19:01:36Z dc.affiliationpl
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej dc.contributor.authorpl
Genitrini, Antoine dc.contributor.authorpl
Kozik, Jakub - 129355 dc.date.accessioned
2014-07-30T12:41:10Z dc.date.available
2014-07-30T12:41:10Z dc.date.issuedpl
2012 dc.date.openaccess
60 dc.description.accesstime
po opublikowaniu dc.description.numberpl
7 dc.description.physicalpl
875-887 dc.description.version
ostateczna wersja wydawcy dc.description.volumepl
163 dc.identifier.doipl
10.1016/j.apal.2011.09.011 dc.identifier.eissnpl
1873-2461 dc.identifier.issnpl
0168-0072 dc.identifier.uri
http://ruj.uj.edu.pl/xmlui/handle/item/394 dc.languagepl
eng dc.language.containerpl
eng dc.rights
Dodaję tylko opis bibliograficzny dc.rights.licence
Inna otwarta licencja dc.share.type
inne dc.source.integrator
false dc.subtypepl
Article dc.titlepl
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid dc.title.journalpl
Annals of Pure and Applied Logic dc.typepl
JournalArticle dspace.entity.type
Publication Affiliations
No affiliation
Genitrini, Antoine
Kozik, Jakub