{"id":"https://openalex.org/W1982166358","doi":"https://doi.org/10.1002/malq.19950410308","title":"An Axiomatisation of the Conditionals of Post's Many Valued Logics","display_name":"An Axiomatisation of the Conditionals of Post's Many Valued Logics","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1982166358","doi":"https://doi.org/10.1002/malq.19950410308","mag":"1982166358"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19950410308","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19950410308","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025291870","display_name":"Stan J. Surma","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]},{"id":"https://openalex.org/I2800643029","display_name":"Association for Symbolic Logic","ror":"https://ror.org/00baryp08","country_code":"US","type":"other","lineage":["https://openalex.org/I2800643029"]}],"countries":["NZ","US"],"is_corresponding":true,"raw_author_name":"Stan J. Surma","raw_affiliation_strings":["Department of Philosophy, University of Auckland, Private Bag 92019, Auckland, New Zealand","I wish to express my thanks to the anonymous referee for valuable comments on the first version of the paper as well as for his pointing out to some inaccuracies"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of Auckland, Private Bag 92019, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"I wish to express my thanks to the anonymous referee for valuable comments on the first version of the paper as well as for his pointing out to some inaccuracies","institution_ids":["https://openalex.org/I2800643029"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5025291870"],"corresponding_institution_ids":["https://openalex.org/I154130895","https://openalex.org/I2800643029"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11076473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"41","issue":"3","first_page":"369","last_page":"372"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9351999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8842407464981079},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.749424934387207},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7032028436660767},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.6710530519485474},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4650823473930359},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4604838788509369},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35548314452171326},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2968077063560486},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.08258107304573059},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07759660482406616}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8842407464981079},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.749424934387207},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7032028436660767},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.6710530519485474},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4650823473930359},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4604838788509369},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35548314452171326},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2968077063560486},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.08258107304573059},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07759660482406616},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.19950410308","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19950410308","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W2078851675","https://openalex.org/W2319549361","https://openalex.org/W3152800724"],"related_works":["https://openalex.org/W2059922809","https://openalex.org/W2387527986","https://openalex.org/W2479250593","https://openalex.org/W4283261428","https://openalex.org/W2131148043","https://openalex.org/W2092783274","https://openalex.org/W4318829426","https://openalex.org/W4391025849","https://openalex.org/W3006682748","https://openalex.org/W1481154196"],"abstract_inverted_index":{"Abstract":[0],"The":[1,40],"paper":[2],"provides":[3],"a":[4,7],"method":[5],"for":[6,67],"uniform":[8],"complete":[9],"Hilbert\u2010style":[10],"axiomatisation":[11],"of":[12,26,34,43],"Post's":[13,19],"(":[14],"m,":[15],"u":[16,30],")\u2010conditionals":[17],"and":[18,29],"negation,":[20],"where":[21],"m":[22],"is":[23,31],"the":[24,32,44,53,68],"number":[25,33],"truth":[27,36],"values":[28,37],"designated":[35],"(cf.":[38,72],"[5]).":[39],"main":[41],"feature":[42],"technique":[45],"which":[46,57],"we":[47],"employ":[48],"in":[49,63],"this":[50],"proof":[51],"generalises":[52],"well\u2010known":[54],"Kalm\u00e1r":[55],"Lemma":[56],"was":[58],"used":[59],"by":[60],"its":[61],"author":[62],"his":[64],"completeness":[65],"argument":[66],"ordinary,":[69],"two\u2010valued":[70],"logic":[71],"[2]).":[73]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}