{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T08:43:03Z","timestamp":1695890583246},"reference-count":26,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5430,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1992,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We investigate a theory of Frege structures extended by the Myhill\u2010Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D60.<\/jats:p>","DOI":"10.1002\/malq.19920380109","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:45:47Z","timestamp":1180417547000},"page":"107-141","source":"Crossref","is-referenced-by-count":7,"title":["LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR"],"prefix":"10.1002","volume":"38","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71252-7"},{"key":"e_1_2_1_3_2","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"Barendregt H.","year":"1984"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9"},{"key":"e_1_2_1_5_2","first-page":"47","article-title":"Non\u2010extensional theories of predicative classes over PA","volume":"40","author":"Cantini A.","year":"1982","journal-title":"Rend. Sem. Mat. Univ. Politec. Torino"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02007552"},{"key":"e_1_2_1_7_2","first-page":"413","article-title":"A note on a predicatively reducible theory of elementary iterated induction","volume":"4","author":"Cantini A.","year":"1985","journal-title":"Bollett. Un. Mat. Italia"},{"key":"e_1_2_1_8_2","unstructured":"Cantini A. Property Theory. Provisional version 1988. (English revised version of: Propriet\u00e1 e Operazioni Bibliopolis Napoli1983)."},{"key":"e_1_2_1_9_2","series-title":"Springer Lecture Notes in Mathematics 500","first-page":"73","volume-title":"Proof Theory Symposium","author":"Feferman S.","year":"1974"},{"key":"e_1_2_1_10_2","first-page":"913","volume-title":"Handbook of Mathematical Logic","author":"Feferman S."},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274093"},{"key":"e_1_2_1_12_2","volume-title":"Fundamentals of Generalized Recursion Theory","author":"Fitting M.","year":"1981"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90040-6"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70184-3"},{"key":"e_1_2_1_15_2","volume-title":"Proof Theory and Logical Complexity","author":"Girard J. Y.","year":"1987"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.2307\/2270324"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02297652"},{"key":"e_1_2_1_18_2","volume-title":"Elementary Induction on Abstract Structures","author":"Moschovakis Y.","year":"1974"},{"key":"e_1_2_1_19_2","volume-title":"The Logical Enterprise","author":"Myhill J.","year":"1975"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485622"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1"},{"key":"e_1_2_1_22_2","first-page":"61","article-title":"Eine Klassifizierung der \u03b50\u2010rekursiven Funktionen","volume":"17","author":"Schwichtenberg H.","year":"1971","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71124-8"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0029517"},{"key":"e_1_2_1_25_2","doi-asserted-by":"crossref","DOI":"10.1515\/9781400882007","volume-title":"Theory of Formal Systems","author":"Smullyan R.","year":"1961"},{"key":"e_1_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079691"},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.2307\/2272973"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380109","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:36:53Z","timestamp":1695847013000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380109"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380109","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}