{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T14:55:01Z","timestamp":1718981701071},"reference-count":69,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2014,8,28]],"date-time":"2014-08-28T00:00:00Z","timestamp":1409184000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s00153-014-0388-5","type":"journal-article","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T05:20:42Z","timestamp":1409116842000},"page":"779-808","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Admissibility and refutation: some characterisations of intermediate logics"],"prefix":"10.1007","volume":"53","author":[{"given":"Jeroen P.","family":"Goudsmit","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,28]]},"reference":[{"key":"388_CR1","doi-asserted-by":"crossref","unstructured":"Aczel, P.H.G.: Saturated Intuitionistic Theories. In: Sch\u00fctte, K., Arnold Schmidt H., Thiele, H.-J. (eds.), Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966, volume 50 of Studies in Logic and the Foundations of Mathematics, pp. 1\u201311. Elsevier (1968)","DOI":"10.1016\/S0049-237X(08)70515-9"},{"key":"388_CR2","unstructured":"Bezhanishvili, N.: De Jongh\u2019s characterization of intuitionistic propositional calculus. In: van Benthem, J., Troelstra, A.S., Veltman, F., Visser, A. (eds.), Liber Amicorum Dick de Jongh. University of Amsterdam, Amsterdam (2004)"},{"key":"388_CR3","unstructured":"Bezhanishvili, N.: Lattices of intermediate and cylindric modal logics. PhD thesis, Amsterdam University (2006)"},{"key":"388_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s11225-012-9389-8","volume":"100","author":"N. Bezhanishvili","year":"2012","unstructured":"Bezhanishvili N., de Jongh D.: Extendible formulas in two variables in intuitionistic logic. Stud. Log. 100, 61\u201389 (2012). doi: 10.1007\/s11225-012-9389-8","journal-title":"Stud. Log."},{"issue":"2","key":"388_CR5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF00370182","volume":"50","author":"A. Chagrov","year":"1991","unstructured":"Chagrov A., Zakharyaschev M.: The disjunction property of intermediate propositional logics. Stud. Log. 50(2), 189\u2013216 (1991). doi: 10.1007\/BF00370182","journal-title":"Stud. Log."},{"key":"388_CR6","volume-title":"Modal Logic, volume 77 of Oxford Logic Guides","author":"A. Chagrov","year":"1997","unstructured":"Chagrov A., Zakharyaschev M.: Modal Logic, volume 77 of Oxford Logic Guides. Oxford University Press, Oxford (1997)"},{"issue":"2","key":"388_CR7","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.apal.2010.09.001","volume":"162","author":"P. Cintula","year":"2010","unstructured":"Cintula P., Metcalfe G.: Admissible rules in the implication-negation fragment of intuitionistic logic. Ann. Pure Appl. Logic 162(2), 162\u2013171 (2010). doi: 10.1016\/j.apal.2010.09.001","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"388_CR8","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1070\/SM1977v031n02ABEH002303","volume":"31","author":"A. Citkin","year":"1977","unstructured":"Citkin A.: On admissible rules of intuitionistic propositional logic. Math. USSR Sb. 31(2), 279\u2013288 (1977). doi: 10.1070\/SM1977v031n02ABEH002303","journal-title":"Math. USSR Sb."},{"key":"388_CR9","unstructured":"Citkin, A.: (English translation of title: On verification of admissibility of some rules of intuitionistic logic). V-th All-Union Conference in Mathematical Logic, p.162. Novosibirsk (1979a)"},{"key":"388_CR10","unstructured":"Citkin, A.: (English translation of title: On modal logic of intuitionistic admissibility). Modal and Tense Logic, Second Soviet-Finnish Colloquium in Logic, pp. 105\u0393\u00c7\u00f4107. Moscow (1979b)"},{"key":"388_CR11","doi-asserted-by":"crossref","unstructured":"Citkin, Alexander: A mind of a non-countable set of ideas. Logic Log. Philos. 17 (1\u20132) (2008). doi: 10.12775\/LLP.2008.003","DOI":"10.12775\/LLP.2008.003"},{"key":"388_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00153-011-0250-y","volume":"51","author":"A. Citkin","year":"2012","unstructured":"Citkin A.: A note on admissible rules and the disjunction property in intermediate logics. Arch. Math. Logic 51, 1\u201314 (2012). doi: 10.1007\/s00153-011-0250-y","journal-title":"Arch. Math. Logic"},{"key":"388_CR13","unstructured":"de Jongh, Dick, H.J.: Investigations on the Intuitionistic Propositional Calculus. PhD thesis, University of Wisconsin, Madison (1968)"},{"issue":"4","key":"388_CR14","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF00370199","volume":"48","author":"R. Dutkiewicz","year":"1989","unstructured":"Dutkiewicz R.: The method of axiomatic rejection for the intuitionistic propositional logic. Stud. Log. 48(4), 449\u2013459 (1989). doi: 10.1007\/BF00370199","journal-title":"Stud. Log."},{"issue":"2","key":"388_CR15","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2271891","volume":"40","author":"H. Friedman","year":"1975","unstructured":"Friedman H.: One hundred and two problems in mathematical logic. J. Symb. Logic 40(2), 113\u2013129 (1975). doi: 10.2307\/2271891","journal-title":"J. Symb. Logic"},{"issue":"1","key":"388_CR16","doi-asserted-by":"crossref","first-page":"67","DOI":"10.2307\/2272344","volume":"39","author":"D.M. Gabbay","year":"1974","unstructured":"Gabbay D.M., de Jongh D.H.J.: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. J. Symb. Logic 39(1), 67\u201378 (1974). doi: 10.2307\/2272344","journal-title":"J. Symb. Logic"},{"issue":"2","key":"388_CR17","doi-asserted-by":"crossref","first-page":"859","DOI":"10.2307\/2586506","volume":"64","author":"S. Ghilardi","year":"1999","unstructured":"Ghilardi S.: Unification in intuitionistic logic. J. Symb. Logic 64(2), 859\u2013880 (1999). doi: 10.2307\/2586506","journal-title":"J. Symb. Logic"},{"issue":"5","key":"388_CR18","first-page":"183","volume":"15","author":"V. Glivenko","year":"1929","unstructured":"Glivenko V.: Sur quelques points de la logique de M. Brouwer. Bulletin de la Classe des Sciences de l\u2019Acad\u00e9mie Royale de Belgique 15(5), 183\u2013188 (1929)","journal-title":"Bulletin de la Classe des Sciences de l\u2019Acad\u00e9mie Royale de Belgique"},{"key":"388_CR19","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del K.: Zum intuitionistischen Aussagenkalk\u00fcl. Akademie der Wissenschaftischen in Wien, Mathematisch-naturwissenschaftliche Klasse, Anzeiger 69, 65\u201366 (1932)","journal-title":"Akademie der Wissenschaftischen in Wien, Mathematisch-naturwissenschaftliche Klasse, Anzeiger"},{"issue":"2","key":"388_CR20","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/BF01054714","volume":"53","author":"V. Goranko","year":"1994","unstructured":"Goranko V.: Refutation systems in modal logic. Stud. Log. 53(2), 299\u2013324 (1994). doi: 10.1007\/BF01054714","journal-title":"Stud. Log."},{"key":"388_CR21","doi-asserted-by":"crossref","unstructured":"Goudsmit, J.P.: A note on extensions: admissible rules via semantics. In: Artemov S., Nerode, A. (eds.) Logical Foundations of Computer Science, volume 7734 of Lecture Notes in Computer Science, pp. 206\u2013218. Springer, Berlin Heidelberg (2013a). ISBN:978-3-642-35721-3. doi: 10.1007\/978-3-642-35722-0_15","DOI":"10.1007\/978-3-642-35722-0_15"},{"key":"388_CR22","unstructured":"Goudsmit, J.P.: The admissible rules of $${{\\sf BD}_2}$$ BD 2 and $${{\\sf GSc}}$$ GSc . Logic Group Prepr. Ser. 313, 1\u201323 (2013b). http:\/\/phil.uu.nl\/preprints\/lgps\/number\/313 . To appear in Notre Dame Journal of Formal Logic"},{"issue":"2","key":"388_CR23","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1016\/j.apal.2013.09.003","volume":"165","author":"J.P. Goudsmit","year":"2014","unstructured":"Goudsmit J.P., Iemhoff R.: On unification and admissible rules in Gabbay\u2013de Jongh logics. Ann. Pure Appl. Logic 165(2), 652\u2013672 (2014). doi: 10.1016\/j.apal.2013.09.003","journal-title":"Ann. Pure Appl. Logic"},{"key":"388_CR24","doi-asserted-by":"crossref","unstructured":"Grigolia, R.: Free and projective heyting and monadic Heyting algebras. In: H\u00f6hle, U., Klement, E.P. (eds.) Non-Classical Logics and their Applications to Fuzzy Subsets, volume 32 of Theory and Decision Library, pp. 33\u201352. Springer Netherlands (1995). ISBN:978-94-010-4096-9. doi: 10.1007\/978-94-011-0215-5_4","DOI":"10.1007\/978-94-011-0215-5_4"},{"issue":"1","key":"388_CR25","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2964334","volume":"25","author":"R. Harrop","year":"1960","unstructured":"Harrop R.: Concerning formulas of the types $${A \\rightarrow A \\vee B, A \\rightarrow (\\exists x)B(x)}$$ A \u2192 A \u2228 B , A \u2192 ( \u2203 x ) B ( x ) in intuitionistic formal systems. J. Symb. Logic 25(1), 27\u201332 (1960). doi: 10.2307\/2964334","journal-title":"J. Symb. Logic"},{"issue":"1","key":"388_CR26","doi-asserted-by":"crossref","first-page":"281","DOI":"10.2307\/2694922","volume":"66","author":"R. Iemhoff","year":"2001","unstructured":"Iemhoff R.: On the admissible rules of intuitionistic propositional logic. J. Symb. Logic 66(1), 281\u2013294 (2001). doi: 10.2307\/2694922","journal-title":"J. Symb. Logic"},{"key":"388_CR27","doi-asserted-by":"crossref","unstructured":"Iemhoff, R.: A(nother) characterization of intuitionistic propositional logic. Ann. Pure Appl. Logic 113(1\u20133):161\u2013173 (2001b). doi: 10.1016\/S0168-0072(01)00056-2 . First St. Petersburg Conference on Days of Logic and Computability","DOI":"10.1016\/S0168-0072(01)00056-2"},{"issue":"1","key":"388_CR28","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1305\/ndjfl\/1107220674","volume":"46","author":"R. Iemhoff","year":"2005","unstructured":"Iemhoff R.: Intermediate logics and Visser\u2019s rules. Notre Dame J. Form. Logic 46(1), 65\u201381 (2005). doi: 10.1305\/ndjfl\/1107220674","journal-title":"Notre Dame J. Form. Logic"},{"key":"388_CR29","unstructured":"Iemhoff, R.: A note on consequence. Logic Group Prepr. Ser. 314 (2013). http:\/\/www.phil.uu.nl\/preprints\/lgps\/number\/314"},{"key":"388_CR30","unstructured":"Jankov V.A.: Some superconstructive propositional calculi. Sov. Math. Dokl. 4, 1103\u20131105 Translation of Doklady Akademii Nauk SSSR 151, 796\u2013798 (1963)"},{"issue":"4","key":"388_CR31","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/logcom\/exi029","volume":"15","author":"E. Je\u0159\u00e1bek","year":"2005","unstructured":"Je\u0159\u00e1bek E.: Admissible rules of modal logics. J. Logic Comput. 15(4), 411\u2013431 (2005). doi: 10.1093\/logcom\/exi029","journal-title":"J. Logic Comput."},{"issue":"6","key":"388_CR32","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1093\/logcom\/exp082","volume":"20","author":"E. Je\u0159\u00e1bek","year":"2010","unstructured":"Je\u0159\u00e1bek E.: Bases of admissible rules of \u0142ukasiewicz logic. J. Logic Comput. 20(6), 1149\u20131163 (2010). doi: 10.1093\/logcom\/exp082","journal-title":"J. Logic Comput."},{"key":"388_CR33","first-page":"119","volume":"4","author":"I. Johansson","year":"1937","unstructured":"Johansson I.: Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compos. Math. 4, 119\u2013136 (1937)","journal-title":"Compos. Math."},{"issue":"1","key":"388_CR34","doi-asserted-by":"crossref","first-page":"11","DOI":"10.2307\/2963675","volume":"27","author":"S.C. Kleene","year":"1962","unstructured":"Kleene S.C.: Disjunction and existence under implication in elementary intuitionistic formalisms. J. Symb. Logic 27(1), 11\u201318 (1962). doi: 10.2307\/2963675","journal-title":"J. Symb. Logic"},{"issue":"4","key":"388_CR35","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1305\/ndjfl\/1012429722","volume":"40","author":"M. Kracht","year":"1999","unstructured":"Kracht M.: Book review: V. V. Rybakov. Admissibility of logical inference rules. Notre Dame J. Form. Logic 40(4), 578\u2013587 (1999). doi: 10.1305\/ndjfl\/1012429722","journal-title":"Notre Dame J. Form. Logic"},{"key":"388_CR36","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G. Kreisel","year":"1957","unstructured":"Kreisel G., Putnam H.W.: Eine Unableitbarkeitsbeweismethode f\u00fcr den Intuitionistischen Aussagenkalk\u00fcl. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 3, 74\u201378 (1957). doi: 10.1007\/BF01988049","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"388_CR37","unstructured":"Levin L.A.: Some syntactical theorems on the Yu. T. Medvedev\u2019s calculus of finite problems. Doklady Academii Nauk SSSR (Soviet Mathematics, Doklady) 185(1), 32\u201333 Translation of Doklady Akademii Nauk SSSR 185, 32\u201333 (1969)"},{"key":"388_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01539-1","volume-title":"Einf\u00fchrung in die operative Logik und Mathematik, volume 78 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen","author":"P. Lorenzen","year":"1955","unstructured":"Lorenzen P.: Einf\u00fchrung in die operative Logik und Mathematik, volume 78 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Springer, Berlin (1955)"},{"key":"388_CR39","volume-title":"Artistotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic","author":"J. \u0141ukasiewicz","year":"1951","unstructured":"\u0141ukasiewicz J.: Artistotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press, Oxford (1951)"},{"key":"388_CR40","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S1385-7258(52)50028-3","volume":"14","author":"J. \u0141ukasiewicz","year":"1952","unstructured":"\u0141ukasiewicz J.: On the intuitionistic theory of deduction. Indag. Math. 14, 202\u2013212 (1952)","journal-title":"Indag. Math."},{"issue":"1","key":"388_CR41","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01881550","volume":"45","author":"L.L. Maksimova","year":"1986","unstructured":"Maksimova L.L.: On maximal intermediate logics with the disjunction property. Stud. Log. 45(1), 69\u201375 (1986). doi: 10.1007\/BF01881550","journal-title":"Stud. Log."},{"key":"388_CR42","first-page":"21","volume":"22","author":"P. Minari","year":"1988","unstructured":"Minari P., Wro\u0144ski A.: The property (HD) in intermediate logics. A partial solution of a problem of H. Ono. Rep. Math. Logic 22, 21\u201325 (1988)","journal-title":"Rep. Math. Logic"},{"key":"388_CR43","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/BF01084082","volume":"6","author":"G.E. Mints","year":"1976","unstructured":"Mints G.E.: Derivability of admissible rules. J. Math. Sci. 6, 417\u2013421 (1976). doi: 10.1007\/BF01084082","journal-title":"J. Math. Sci."},{"key":"388_CR44","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00405383","volume":"38","author":"T. Prucnal","year":"1979","unstructured":"Prucnal T.: On two problems of Harvey Friedman. Stud. Log. 38, 247\u2013262 (1979). doi: 10.1007\/BF00405383","journal-title":"Stud. Log."},{"key":"388_CR45","unstructured":"Rozi\u00e8re, P.: R\u00e8gles admissibles en calcul propositionnel intuitionniste. PhD thesis, Universit\u00e9 de Paris VII (1992)"},{"key":"388_CR46","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01982031","volume":"23","author":"V.V. Rybakov","year":"1984","unstructured":"Rybakov V.V.: A criterion for admissibility of rules in the model system S4 and the intuitionistic logic. Algebra Logic 23, 369\u2013384 (1984). doi: 10.1007\/BF01982031","journal-title":"Algebra Logic"},{"issue":"3","key":"388_CR47","first-page":"145","volume":"23","author":"V.V. Rybakov","year":"1999","unstructured":"Rybakov V.V., Terziler M., Gencer C.: An essay on unification and inference rules for modal logics. Bull. Sect. Logic 23(3), 145\u2013157 (1999)","journal-title":"Bull. Sect. Logic"},{"key":"388_CR48","unstructured":"Scott, D.: Completeness Proofs for the Intuitionistic Sentential Calculus. Communications Research Division, Institute for Defence Analyses, second edition 25 July 1960 edition, pp. 231\u2013241 (1957)"},{"issue":"21","key":"388_CR49","doi-asserted-by":"crossref","first-page":"787","DOI":"10.2307\/2024952","volume":"68","author":"D. Scott","year":"1971","unstructured":"Scott D.: On engendering an illusion of understanding. J. Philos. 68(21), 787\u2013807 (1971). doi: 10.2307\/2024952","journal-title":"J. Philos."},{"key":"388_CR50","doi-asserted-by":"crossref","unstructured":"Scott, D.: Completeness and axiomatizability in many-valued logic. In: Proceedings of the Tarski Symposium, volume 25 of Proceedings of Symposia in Pure Mathematics, pp. 411\u2013435 (1974)","DOI":"10.1090\/pspum\/025\/0363802"},{"issue":"3","key":"388_CR51","doi-asserted-by":"crossref","first-page":"520","DOI":"10.2307\/2273058","volume":"38","author":"K. Segerberg","year":"1973","unstructured":"Segerberg K.: Review: C.G. McKay, A note on the Jaskowski sequence. J. Symb. Logic 38(3), 520\u2013521 (1973). doi: 10.2307\/2273058","journal-title":"J. Symb. Logic"},{"key":"388_CR52","first-page":"75","volume":"23","author":"T.F. Skura","year":"1989","unstructured":"Skura T.F.: A complete syntactical characterization of the intuitionistic logic. Rep. Math. Logic 23, 75\u201380 (1989)","journal-title":"Rep. Math. Logic"},{"issue":"1","key":"388_CR53","first-page":"10","volume":"19","author":"T.F. Skura","year":"1990","unstructured":"Skura T.F.: A new criterion of decidability for intermediate logics. Bull. Sect. Logic 19(1), 10\u201314 (1990)","journal-title":"Bull. Sect. Logic"},{"issue":"4","key":"388_CR54","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1305\/ndjfl\/1093634486","volume":"33","author":"T.F. Skura","year":"1992","unstructured":"Skura T.F.: Refutation calculi for certain intermediate propositional logics. Notre Dame J. Form. Logic 33(4), 552\u2013560 (1992). doi: 10.1305\/ndjfl\/1093634486","journal-title":"Notre Dame J. Form. Logic"},{"issue":"4","key":"388_CR55","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1305\/ndjfl\/1040408615","volume":"35","author":"T.F. Skura","year":"1994","unstructured":"Skura T.F.: Syntactic refutations against finite models in modal logic. Notre Dame J. Form. Logic 35(4), 595\u2013605 (1994). doi: 10.1305\/ndjfl\/1040408615","journal-title":"Notre Dame J. Form. Logic"},{"key":"388_CR56","unstructured":"Skura, T.F.: Aspects of refutation procedures in the intuitionistic logic and related modal systems, volume 15 of Logika. Wydawnictwo Uniwersytetu Wroc\u0142awskiego (1999). ISBN:83-229-1985-9"},{"issue":"4","key":"388_CR57","doi-asserted-by":"crossref","first-page":"453","DOI":"10.3166\/jancl.15.453-464","volume":"15","author":"T.F. Skura","year":"2005","unstructured":"Skura T.F.: Intuitionistic socratic procedures. J. Appl. Non Class. Logics 15(4), 453\u2013464 (2005). doi: 10.3166\/jancl.15.453-464","journal-title":"J. Appl. Non Class. Logics"},{"key":"388_CR58","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/s11787-009-0009-y","volume":"3","author":"T.F. Skura","year":"2009","unstructured":"Skura T.F.: A refutation theory. Log. Universalis 3, 293\u2013302 (2009). doi: 10.1007\/s11787-009-0009-y","journal-title":"Log. Universalis"},{"issue":"1","key":"388_CR59","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF02123824","volume":"32","author":"J. S\u0142upecki","year":"1973","unstructured":"S\u0142upecki J., Bryll G.: Proof of \u0142-decidability of Lewis system S5. Stud. Log. 32(1), 99\u2013105 (1973). doi: 10.1007\/BF02123824","journal-title":"Stud. Log."},{"issue":"1","key":"388_CR60","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02121863","volume":"29","author":"J. S\u0142upecki","year":"1971","unstructured":"S\u0142upecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions. I. Stud. Log. 29(1), 75\u2013115 (1971). doi: 10.1007\/BF02121863","journal-title":"Stud. Log."},{"issue":"1","key":"388_CR61","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF02120839","volume":"30","author":"J. S\u0142upecki","year":"1972","unstructured":"S\u0142upecki J., Bryll G., Wybraniec-Skardowska U.: The theory of rejected propositions II. Stud. Log. 30(1), 97\u2013139 (1972). doi: 10.1007\/BF02120839","journal-title":"Stud. Log."},{"key":"388_CR62","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C.: Applications of Kripke models. In: Troelstra, A.S. (eds.) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, volume 344 of Lecture Notes in Mathematics, pp. 324\u2013391. Springer Berlin\/Heidelberg (1973). doi: 10.1007\/BFb0066744","DOI":"10.1007\/BFb0066744"},{"issue":"2","key":"388_CR63","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF02123383","volume":"34","author":"S.J. Surma","year":"1975","unstructured":"Surma S.J., Wro\u0144ski A., Zachorowski S.: On Ja\u015bkowski-type semantics for the intuitionistic propositional logic. Stud. Log. 34(2), 145\u2013148 (1975). doi: 10.1007\/BF02123383","journal-title":"Stud. Log."},{"key":"388_CR64","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S., van Dalen, D.: Logic. In: Constructivism in Mathematics\u2014An Introduction, volume 121 of Studies in Logic and the Foundations of Mathematics, pp. 35\u2013111. Elsevier (1988). doi: 10.1016\/S0049-237X(09)70527-0","DOI":"10.1016\/S0049-237X(09)70527-0"},{"key":"388_CR65","unstructured":"Visser, A.: Evaluation, provably deductive equivalence in Heyting\u2019s arithmetic of substitution instances of propositional formulas. Logic Group Prepr. Ser. 4, 1984. http:\/\/phil.uu.nl\/preprints\/lgps\/number\/4"},{"issue":"1\u20133","key":"388_CR66","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0168-0072(01)00081-1","volume":"114","author":"A. Visser","year":"2002","unstructured":"Visser A.: Substitutions of $${\\Sigma^1_0}$$ \u03a3 0 1 -sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. Ann. Pure Appl. Logic 114(1\u20133), 227\u2013271 (2002). doi: 10.1016\/S0168-0072(01)00081-1","journal-title":"Ann. Pure Appl. Logic"},{"key":"388_CR67","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi: Basic Theory of Consequence Operations, volume 199 of Synthese Library. Kluwer Academic Publishers, Berlin. ISBN:978-90-277-2785-5 (1988)"},{"key":"388_CR68","first-page":"69","volume":"38","author":"P. Wojtylak","year":"2004","unstructured":"Wojtylak P.: On a problem of H. Friedman and its solution by T. Prucnal. Rep. Math. Logic 38, 69\u201386 (2004)","journal-title":"Rep. Math. Logic"},{"key":"388_CR69","first-page":"39","volume":"1","author":"A. Wro\u0144ski","year":"1973","unstructured":"Wro\u0144ski A.: Intermediate logics and the disjunction property. Rep. Math. Logic 1, 39\u201351 (1973)","journal-title":"Rep. Math. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0388-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0388-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0388-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T10:07:15Z","timestamp":1565777235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0388-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,28]]},"references-count":69,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["388"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0388-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,28]]}}}