{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T05:40:19Z","timestamp":1698385219068},"reference-count":5,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper provides a method for a uniform complete Hilbert\u2010style axiomatisation of Post's (<jats:italic>m, u<\/jats:italic>)\u2010conditionals and Post's negation, where <jats:italic>m<\/jats:italic> is the number of truth values and <jats:italic>u<\/jats:italic> is the number of designated truth values (cf. [5]). The main feature of the technique which we employ in this proof generalises the well\u2010known Kalm\u00e1r Lemma which was used by its author in his completeness argument for the ordinary, two\u2010valued logic (cf. [2]).<\/jats:p>","DOI":"10.1002\/malq.19950410308","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T17:46:35Z","timestamp":1180201595000},"page":"369-372","source":"Crossref","is-referenced-by-count":0,"title":["An Axiomatisation of the Conditionals of Post's Many Valued Logics"],"prefix":"10.1002","volume":"41","author":[{"given":"Stan J.","family":"Surma","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","first-page":"40","article-title":"Zum intuitionistischen Aussagenkalk\u00fcl","volume":"4","author":"G\u00f6del K.","year":"1933","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"e_1_2_1_3_2","first-page":"222","article-title":"\u00dcber die Axiomatisierbarkeit des Aussagenkalk\u00fcls","volume":"7","author":"Kalm\u00e1r L.","year":"1935","journal-title":"Acta Sci. Math."},{"key":"e_1_2_1_4_2","first-page":"30","article-title":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl","volume":"23","author":"Lukasiewicz J.","year":"1930","journal-title":"C. R. Soc. Sci. Lett. Varsovie, Classe III"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02125899"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.2307\/2370324"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410308","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T14:45:31Z","timestamp":1698331531000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410308"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410308","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}