Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: 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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.