{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T18:51:03Z","timestamp":1780599063935,"version":"3.54.1"},"reference-count":22,"publisher":"Wiley","issue":"1-2","license":[{"start":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T00:00:00Z","timestamp":1320192000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2012,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.<\/jats:p>","DOI":"10.1002\/malq.201020020","type":"journal-article","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T08:42:48Z","timestamp":1320223368000},"page":"5-17","source":"Crossref","is-referenced-by-count":3,"title":["Isomorphic formulae in classical propositional logic"],"prefix":"10.1002","volume":"58","author":[{"given":"Kosta","family":"Do\u0161en","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zoran","family":"Petri\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","published-online":{"date-parts":[[2011,11,2]]},"reference":[{"key":"e_1_2_7_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/421020"},{"key":"e_1_2_7_3_1","unstructured":"V.Balat Une\u00e9tude des sommes fortes: isomorphismes et formes normales PhD thesis Universit\u00e9 Paris VII(2002)."},{"key":"e_1_2_7_4_1","doi-asserted-by":"publisher","DOI":"10.2307\/2324454"},{"key":"e_1_2_7_5_1","volume-title":"Meaning and Necessity: A Study in Semantics and Modal Logic","author":"Carnap R.","year":"1947"},{"key":"e_1_2_7_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/10.5.97"},{"key":"e_1_2_7_7_1","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-94-017-0487-8_15","volume-title":"Logic and Scientific Methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995","author":"Do\u0161en K.","year":"1997"},{"key":"e_1_2_7_8_1","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1067620091"},{"key":"e_1_2_7_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-004-6290-7"},{"key":"e_1_2_7_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129596002241"},{"key":"e_1_2_7_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586761"},{"key":"e_1_2_7_12_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1058448435"},{"key":"e_1_2_7_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310063"},{"key":"e_1_2_7_14_1","volume-title":"Proof\u2010Theoretical Coherence, Studies in Logic Vol. 1","author":"Do\u0161en K.","year":"2004"},{"key":"e_1_2_7_15_1","volume-title":"Proof\u2010Net Categories","author":"Do\u0161en K.","year":"2007"},{"key":"e_1_2_7_16_1","unstructured":"K.Do\u0161enandZ.Petri\u0107 Syntax for split preorders preprint (2009)."},{"key":"e_1_2_7_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.09.001"},{"key":"e_1_2_7_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(71)90013-2"},{"key":"e_1_2_7_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079385"},{"key":"e_1_2_7_20_1","volume-title":"Introduction to Higher Order Categorical Logic Cambridge Studies in Advanced Mathematics Vol. 7","author":"Lambek J.","year":"1986"},{"key":"e_1_2_7_21_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/092\/1003210"},{"key":"e_1_2_7_22_1","doi-asserted-by":"crossref","unstructured":"S. V.Soloviev The category of finite sets and cartesian closed categories (in Russian) Zapiski Nauchnykh Seminarov (LOMI) 105 pp.174\u2013194(1981) (English translation in: J. Sov. Math.22 1387\u20131400 1983).","DOI":"10.1007\/BF01084396"},{"key":"e_1_2_7_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56944-8_71"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201020020","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201020020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T16:54:04Z","timestamp":1693500844000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201020020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,2]]},"references-count":22,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["10.1002\/malq.201020020"],"URL":"https:\/\/doi.org\/10.1002\/malq.201020020","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,2]]}}}