Login / Signup
Valery Plisko
Publication Activity (10 Years)
Years Active: 1997-2022
Publications (10 Years): 1
Top Topics
Highly Expressive
Fluent Calculus
Lower Level
Semantic Net
Top Venues
Rev. Symb. Log.
</>
Publications
</>
Valery Plisko
The Nonarithmeticity of the Predicate Logic of strictly Primitive Recursive Realizability.
Rev. Symb. Log.
15 (3) (2022)
Valery Plisko
On Two Attempts of Describing Propositional Realizability Logic.
J. Log. Comput.
21 (4) (2011)
Valery Plisko
Transfinite Sequences of Constructive Predicate Logics.
CSR
(2010)
Valery Plisko
A Survey of Propositional Realizability Logic.
Bull. Symb. Log.
15 (1) (2009)
Valery Plisko
On Primitive Recursive Realizabilities.
CSR
(2006)
Valery Plisko
Arithmetic complexity of the predicate logics of certain complete arithmetic theories.
Ann. Pure Appl. Log.
113 (1-3) (2001)
Valery Plisko
Two Semantics and Logics Based on the Gödel Interpretation.
Kurt Gödel Colloquium
(1997)