{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:22:21Z","timestamp":1775053341614,"version":"3.50.1"},"reference-count":48,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":1781,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The study of propositional realizability logic was initiated in the 50th of the last century. Some interesting results were obtained in the 60-70th, but many important problems in this area are still open. Now interest to these problems from new generation of researchers is observed. This survey contains an exposition of the results on propositional realizability logic and corresponding techniques. Thus reading this paper can be the start point in exploring and development of constructive logic.<\/jats:p>","DOI":"10.2178\/bsl\/1231081768","type":"journal-article","created":{"date-parts":[[2009,1,4]],"date-time":"2009-01-04T15:09:41Z","timestamp":1231081781000},"page":"1-42","source":"Crossref","is-referenced-by-count":10,"title":["A Survey of Propositional Realizability Logic"],"prefix":"10.1017","volume":"15","author":[{"given":"Valery","family":"Plisko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600001414_ref027","doi-asserted-by":"publisher","DOI":"10.2307\/2963526"},{"key":"S1079898600001414_ref031","first-page":"61","article-title":"Some variants of the notion of realizability for predicate formulas (Russian)","volume":"226","author":"Plisko","year":"1976","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref046","first-page":"8","article-title":"A class of realizable propositional formulas (Russian)","volume":"20","author":"Varpakhovskii","year":"1971","journal-title":"Zapiski Nauchnykh Seminarov LOMI"},{"key":"S1079898600001414_ref045","first-page":"1257","article-title":"On non-realizability of a disjunction of non-realizable formulas of the propositional logic (Russian)","volume":"161","author":"Varpakhovskii","year":"1965","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref038","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00061-6"},{"key":"S1079898600001414_ref005","first-page":"183","article-title":"Sur quelques points de la logique de M. Brouwer","volume":"15","author":"Glivenko","year":"1929","journal-title":"Bulletin Classe des Sciences Academie Royal Belgique, S\u00e9rie 5"},{"key":"S1079898600001414_ref036","first-page":"94","article-title":"On arithmetic complexity of certain constructive logics","volume":"52","author":"Plisko","year":"1992","journal-title":"Matematicheskie Zametki"},{"key":"S1079898600001414_ref007","first-page":"42","volume-title":"Sitzungsberichte der Preussischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse","author":"Heyting","year":"1930"},{"key":"S1079898600001414_ref041","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1953-0055952-4"},{"key":"S1079898600001414_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86894-8"},{"key":"S1079898600001414_ref030","first-page":"520","article-title":"Recursive realizability and constructive predicate logic (Russian)","volume":"214","author":"Plisko","year":"1974","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref026","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1947-0025420-1"},{"key":"S1079898600001414_ref003","volume-title":"Mathematical intuitionism","author":"Dragalin","year":"1988"},{"key":"S1079898600001414_ref022","first-page":"1051","article-title":"The impossibility of a finite axiomatization of Medvedev's logic of finitary problems (Russian)","volume":"245","author":"Maksimova","year":"1979","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref025","first-page":"20","article-title":"Interpretation of logical formulae by means of finite problems (Russian)","volume":"169","author":"Medvedev","year":"1966","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref023","first-page":"1015","article-title":"Finite problems (Russian)","volume":"142","author":"Medvedev","year":"1962","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref002","first-page":"67","article-title":"Variants of realizability for propositional formulas and the logic of weak excluded middle","volume":"242","author":"Chernov","year":"2003","journal-title":"Proceedings of the Steklov Institute of Mathematics"},{"key":"S1079898600001414_ref017","first-page":"40","article-title":"On the realizations of predicate formulas (Russian)","volume":"20","author":"Kipnis","year":"1971","journal-title":"Zapiski Nauchnykh Seminarov LOMI"},{"key":"S1079898600001414_ref018","doi-asserted-by":"publisher","DOI":"10.2307\/2269016"},{"key":"S1079898600001414_ref010","first-page":"1293","article-title":"On the connection between deducibility in the intuitionistic propositional calculus and finite implicative structures (Russian)","volume":"151","author":"Jankov","year":"1963","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref024","first-page":"771","article-title":"Interpretation of logical formulae by means of finite problems and its relation to the realizability theory (Russian)","volume":"148","author":"Medvedev","year":"1963","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref016","first-page":"53","article-title":"The constructive classification of arithmetic predicates and the semantic bases of arithmetic (Russian)","volume":"8","author":"Kipnis","year":"1968","journal-title":"Zapiski Nauchnykh Seminarov LOMI"},{"key":"S1079898600001414_ref019","volume-title":"Introduction to metamathematics","author":"Kleene","year":"1952"},{"key":"S1079898600001414_ref028","first-page":"553","article-title":"On realizable predicate formulae (Russian)","volume":"212","author":"Plisko","year":"1973","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref006","first-page":"39","article-title":"Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls","volume":"4","author":"G\u00f6del","year":"1933","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"S1079898600001414_ref043","first-page":"260","article-title":"The disjunctive rank of the formulas of constructive arithmetic (Russian)","volume":"8","author":"Tseitin","year":"1968","journal-title":"Zapiski Nauchnykh Seminarov LOMI"},{"key":"S1079898600001414_ref011","doi-asserted-by":"crossref","first-page":"58","DOI":"10.5840\/icus11936690","article-title":"Recherches sur le syst\u00e8me de la logique intuitioniste","volume":"393","author":"Ja\u015bkowski","year":"1936","journal-title":"Actes du Congr\u00e8s International de Philosophie Scientifique, VI, Philosophie des math\u00e9matique. Actualit\u00e9s scientifique et industrielle"},{"key":"S1079898600001414_ref014","first-page":"16","article-title":"On modelling of pseudo-boolean algebras by realizability (Russian)","volume":"192","author":"Kabakov","year":"1970","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/BF01186549"},{"key":"S1079898600001414_ref009","first-page":"1035","article-title":"On realizable formulas of propositional logic (Russian)","volume":"151","author":"Jankov","year":"1963","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90007-8"},{"key":"S1079898600001414_ref033","first-page":"637","article-title":"Some variants of the notion of realizability for predicate formulas (Russian)","volume":"42","author":"Plisko","year":"1978","journal-title":"Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya"},{"key":"S1079898600001414_ref020","first-page":"646","article-title":"On the tertium non datur principle (Russian)","volume":"32","author":"Kolmogorov","year":"1925","journal-title":"Matematicheskii sbornik"},{"key":"S1079898600001414_ref015","first-page":"277","article-title":"On a property of propositional formulas (Russian)","volume":"174","author":"Kipnis","year":"1967","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201363"},{"key":"S1079898600001414_ref044","volume-title":"From Frege to G\u00f6del: A source book in mathematical logic, 1879-1931","author":"van Heijenoort","year":"1967"},{"key":"S1079898600001414_ref029","first-page":"148","volume-title":"Teoriya algorifmov i matematicheskaya logika (Theory of algorithms and mathematical logic)","author":"Plisko","year":"1974"},{"key":"S1079898600001414_ref012","first-page":"119","article-title":"Der Minimalkalk\u00fcl, ein reduzierte intuitionistischer Formalismus","volume":"4","author":"Johansson","year":"1937","journal-title":"Compositio Mathematica"},{"key":"S1079898600001414_ref039","volume-title":"The mathematics of metamathematics","author":"Rasiowa","year":"1963"},{"key":"S1079898600001414_ref032","first-page":"483","article-title":"The nonarithmeticity of the class of realizable predicate formulas (Russian)","volume":"41","author":"Plisko","year":"1977","journal-title":"Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya"},{"key":"S1079898600001414_ref047","first-page":"32","article-title":"On the axiomatization of realizable propositional formulae (Russian)","volume":"314","author":"Varpakhovskii","year":"1990","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref034","first-page":"315","article-title":"Absolute realizability of predicate formulas (Russian)","volume":"47","author":"Plisko","year":"1983","journal-title":"Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya"},{"key":"S1079898600001414_ref040","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S1079898600001414_ref013","first-page":"269","article-title":"Intuitionistic deducibility of some realizable formulae of propositional logic (Russian)","volume":"192","author":"Kabakov","year":"1970","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"S1079898600001414_ref037","first-page":"77","volume-title":"Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika","author":"Plisko","year":"1992"},{"key":"S1079898600001414_ref035","first-page":"79","article-title":"The Kolmogorov calculus as a part of minimal calculus (Russian)","volume":"43","author":"Plisko","year":"1988","journal-title":"Uspekhi Matematicheskikh Nauk"},{"key":"S1079898600001414_ref048","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1163775437"},{"key":"S1079898600001414_ref042","first-page":"38","volume-title":"Logicheskie issledovania (Logical investigations)","volume":"3","author":"Skvortsov","year":"1995"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600001414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T18:31:39Z","timestamp":1738866699000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600001414\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["S1079898600001414"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1231081768","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}