BibTeX records: Valery Plisko

• > Home > Persons > Valery Plisko

@article{DBLP:journals/rsl/Plisko22,
  author       = {Valery Plisko},
  title        = {The Nonarithmeticity of the Predicate Logic of strictly Primitive
                  Recursive Realizability},
  journal      = {Rev. Symb. Log.},
  volume       = {15},
  number       = {3},
  pages        = {693--721},
  year         = {2022},
  url          = {https://doi.org/10.1017/S1755020321000174},
  doi          = {10.1017/S1755020321000174},
  timestamp    = {Fri, 02 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Plisko22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/Plisko11,
  author       = {Valery Plisko},
  title        = {On Two Attempts of Describing Propositional Realizability Logic},
  journal      = {J. Log. Comput.},
  volume       = {21},
  number       = {4},
  pages        = {639--663},
  year         = {2011},
  url          = {https://doi.org/10.1093/logcom/exp045},
  doi          = {10.1093/LOGCOM/EXP045},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Plisko11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csr/Plisko10,
  author       = {Valery Plisko},
  editor       = {Farid M. Ablayev and
                  Ernst W. Mayr},
  title        = {Transfinite Sequences of Constructive Predicate Logics},
  booktitle    = {Computer Science - Theory and Applications, 5th International Computer
                  Science Symposium in Russia, {CSR} 2010, Kazan, Russia, June 16-20,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6072},
  pages        = {315--326},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13182-0\_29},
  doi          = {10.1007/978-3-642-13182-0\_29},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Plisko10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Plisko09,
  author       = {Valery Plisko},
  title        = {A Survey of Propositional Realizability Logic},
  journal      = {Bull. Symb. Log.},
  volume       = {15},
  number       = {1},
  pages        = {1--42},
  year         = {2009},
  url          = {https://doi.org/10.2178/bsl/1231081768},
  doi          = {10.2178/BSL/1231081768},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Plisko09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csr/Plisko06,
  author       = {Valery Plisko},
  editor       = {Dima Grigoriev and
                  John Harrison and
                  Edward A. Hirsch},
  title        = {On Primitive Recursive Realizabilities},
  booktitle    = {Computer Science - Theory and Applications, First International Symposium
                  on Computer Science in Russia, {CSR} 2006, St. Petersburg, Russia,
                  June 8-12, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3967},
  pages        = {304--312},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11753728\_31},
  doi          = {10.1007/11753728\_31},
  timestamp    = {Tue, 29 Nov 2022 13:36:56 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/Plisko06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Plisko01,
  author       = {Valery Plisko},
  title        = {Arithmetic complexity of the predicate logics of certain complete
                  arithmetic theories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {113},
  number       = {1-3},
  pages        = {243--259},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00061-6},
  doi          = {10.1016/S0168-0072(01)00061-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Plisko01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kgc/Plisko97,
  author       = {Valery Plisko},
  editor       = {Georg Gottlob and
                  Alexander Leitsch and
                  Daniele Mundici},
  title        = {Two Semantics and Logics Based on the G{\"{o}}del Interpretation},
  booktitle    = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
                  KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1289},
  pages        = {233--240},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63385-5\_46},
  doi          = {10.1007/3-540-63385-5\_46},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/kgc/Plisko97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}