{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:34:55Z","timestamp":1764995695482},"reference-count":25,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,11,28]],"date-time":"2006-11-28T00:00:00Z","timestamp":1164672000000},"content-version":"vor","delay-in-days":6175,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1990,1]]},"DOI":"10.1002\/malq.19900360303","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T09:28:37Z","timestamp":1180171717000},"page":"193-215","source":"Crossref","is-referenced-by-count":11,"title":["Modal logics with <i>n<\/i>\u2010ary connectives"],"prefix":"10.1002","volume":"36","author":[{"given":"S.","family":"Ghilardi","sequence":"first","affiliation":[]},{"given":"G. C.","family":"Meloni","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,28]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00403332"},{"key":"e_1_2_1_3_2","unstructured":"Do\u0161en K. Sequent systems and groupoid models. Studia Logica (to appear)."},{"key":"e_1_2_1_4_2","first-page":"117","volume-title":"Relevance logic and entailment","author":"Dunn M.","year":"1986"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"Eilenberg S. andG. M.Kelly Closed categories. In: Applications of Categorical Algebra Proc. of Symp. in Pure Math. XVII (1970) pp.421\u2013562.","DOI":"10.1007\/978-3-642-99902-4_22"},{"key":"e_1_2_1_6_2","unstructured":"Ghilardi S. andG. C.Meloni Un approccio concettuale alla logica predicativa modale e lineare distributiva. In: Atti degli incontri di logica matematica X Incontro Siena Maggio1987(to appear)."},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"Ghilardi S. andG. C.Meloni Modal and tense predicate logic: Models in presheaves and categorical conceptualization. In: Proc. of the Summer Meeting on Category Theory and its Applications Louvain\u2010la\u2010Neuve (1987) Springer Lecture Notes in Mathematics (to appear).","DOI":"10.1007\/BFb0081355"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_2_1_9_2","volume-title":"A Companion to Modal Logic","author":"Hughes G. E.","year":"1984"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.2307\/2310058"},{"key":"e_1_2_1_12_2","first-page":"278","article-title":"Deductive system and categories I","volume":"2","author":"Lambek J.","year":"1968","journal-title":"J. Math. Syst. Theory"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079385"},{"key":"e_1_2_1_14_2","volume-title":"Proceedings of the Congress in Categories and Computer Science","author":"Lambek J.","year":"1987"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02924844"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0061291"},{"key":"e_1_2_1_17_2","volume-title":"Categories for the Working Mathematician","author":"MacLane S.","year":"1971"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01673502"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01669837"},{"key":"e_1_2_1_20_2","unstructured":"Meloni G. C. Analisi semantica della logica lineare distributiva. XIII Congresso Naz. UMI Sunti delle comunicazioni Torino(1987) VII\u201028."},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123812"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02120493"},{"key":"e_1_2_1_23_2","unstructured":"Ono H. Structural rules and a logical hierarchy. In: Proceedings of the Summer School and Conference in Mathematical Logic Chaika (Bulgaria) September1988(to appear)."},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(83)90104-4"},{"key":"e_1_2_1_25_2","volume-title":"An Algebraic Approach to Non\u2010Classical Logics","author":"Rasiowa H.","year":"1974"},{"key":"e_1_2_1_26_2","first-page":"194","volume-title":"Truth, syntax and semantics","author":"Routley R.","year":"1973"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19900360303","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19900360303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T10:58:27Z","timestamp":1697972307000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19900360303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["10.1002\/malq.19900360303"],"URL":"https:\/\/doi.org\/10.1002\/malq.19900360303","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}