{"id":"https://openalex.org/W2040111752","doi":"https://doi.org/10.1305/ndjfl/1093870632","title":"Mechanizing logic. I. Map logic extended formally to relational arguments.","display_name":"Mechanizing logic. I. Map logic extended formally to relational arguments.","publication_year":1984,"publication_date":"1984-07-01","ids":{"openalex":"https://openalex.org/W2040111752","doi":"https://doi.org/10.1305/ndjfl/1093870632","mag":"2040111752"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093870632","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093870632","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-25/issue-3/Mechanizing-logic-I-Map-logic-extended-formally-to-relational-arguments/10.1305/ndjfl/1093870632.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-25/issue-3/Mechanizing-logic-I-Map-logic-extended-formally-to-relational-arguments/10.1305/ndjfl/1093870632.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027089995","display_name":"John Rybak","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I129604602","display_name":"University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"John Rybak","raw_affiliation_strings":["The University of Sydney New South Wales, Australia 2006 New South Wales, Australia 2006","Traditional and Modern Philosophy Department seminar, Sydney University,",". Department of Traditional and Department of Economic Statistics Modern Philosophy The University of Sydney"],"affiliations":[{"raw_affiliation_string":"The University of Sydney New South Wales, Australia 2006 New South Wales, Australia 2006","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I129604602"]},{"raw_affiliation_string":"Traditional and Modern Philosophy Department seminar, Sydney University,","institution_ids":[]},{"raw_affiliation_string":". Department of Traditional and Department of Economic Statistics Modern Philosophy The University of Sydney","institution_ids":["https://openalex.org/I129604602"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044299946","display_name":"Janet Rybak","orcid":null},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Janet Rybak","raw_affiliation_strings":["The University of Sydney New South Wales, Australia 2006 New South Wales, Australia 2006","Traditional and Modern Philosophy Department seminar, Sydney University,",". Department of Traditional and Department of Economic Statistics Modern Philosophy The University of Sydney"],"affiliations":[{"raw_affiliation_string":"The University of Sydney New South Wales, Australia 2006 New South Wales, Australia 2006","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I129604602"]},{"raw_affiliation_string":"Traditional and Modern Philosophy Department seminar, Sydney University,","institution_ids":[]},{"raw_affiliation_string":". Department of Traditional and Department of Economic Statistics Modern Philosophy The University of Sydney","institution_ids":["https://openalex.org/I129604602"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5027089995"],"corresponding_institution_ids":["https://openalex.org/I129604602","https://openalex.org/I31746571"],"apc_list":null,"apc_paid":null,"fwci":0.53572347,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.76864262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9524999856948853,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9524999856948853,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9426000118255615,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9416999816894531,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.60015469789505},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5795003175735474},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.4512736201286316},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3091011047363281}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60015469789505},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5795003175735474},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.4512736201286316},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3091011047363281}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093870632","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093870632","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-25/issue-3/Mechanizing-logic-I-Map-logic-extended-formally-to-relational-arguments/10.1305/ndjfl/1093870632.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093870632","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093870632","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1305/ndjfl/1093870632","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093870632","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-25/issue-3/Mechanizing-logic-I-Map-logic-extended-formally-to-relational-arguments/10.1305/ndjfl/1093870632.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2040111752.pdf","grobid_xml":"https://content.openalex.org/works/W2040111752.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W610370776","https://openalex.org/W1991510303","https://openalex.org/W2007619890","https://openalex.org/W2907074674","https://openalex.org/W4231007990","https://openalex.org/W6602536545","https://openalex.org/W6607242079","https://openalex.org/W6648155187","https://openalex.org/W6652553638","https://openalex.org/W6834321819"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1580289905","https://openalex.org/W2367778417","https://openalex.org/W3020891513","https://openalex.org/W3023651766","https://openalex.org/W2018995603","https://openalex.org/W2727590047","https://openalex.org/W1518832985","https://openalex.org/W2797885746","https://openalex.org/W2049906196"],"abstract_inverted_index":{"Formal":[0],"extensions:":[1],"Conjunctive":[2],"and":[3,57,80,149],"disjunctive":[4],"termsOur":[5],"concern":[6],"is":[7,33,102,151,156],"to":[8,14,35,123,158],"show":[9],"a":[10,77,115],"new":[11],"simplified":[12],"approach":[13],"mechanizing":[15],"logic,":[16,148],"including":[17],"the":[18,25,43,50,73,125,135,144,164],"logic":[19,48],"of":[20,28,52,67,90,128,146,160],"multiply":[21,85],"quantified":[22,86],"relational":[23,68,87,129],"propositions.First,":[24],"diagrammatic":[26],"method":[27],"our":[29],"earlier":[30],"paper":[31],"[11]":[32],"used":[34,110],"set":[36],"up":[37],"four":[38],"formal":[39,105],"rules":[40],"which":[41,122],"extend":[42],"''traditional\"":[44],"or":[45],"'":[46],"'Aristotelian\"":[47],"into":[49,72],"field":[51],"arguments":[53,83,130],"with":[54,60,118],"conjunctive,":[55],"disjunctive,":[56],"negative":[58],"terms.Then":[59],"one":[61],"further":[62],"central":[63],"\"axiom\"":[64],"(an":[65],"adaptation":[66],"conversion)":[69],"we":[70],"bring":[71],"same":[74],"system":[75,92,106],"in":[76,111,163],"fairly":[78],"concise":[79],"perspicuous":[81],"fashion":[82],"involving":[84],"propositions.The":[88],"limits":[89],"this":[91,103],"(we":[93],"presume":[94],"it":[95,150],"has":[96],"limits)":[97],"are":[98,138],"not":[99],"yet":[100],"known.It":[101],"extended":[104],"that":[107,153],"will":[108],"be":[109],"Part":[112],"II":[113],"as":[114,141],"base,":[116],"together":[117],"Karnaugh":[119],"maps,":[120],"from":[121],"demonstrate":[124],"effective":[126],"mechanization":[127],"by":[131],"computer.Arguments":[132],"such":[133],"as:for":[134],"symbolism)":[136],".D\u038aB":[137],"frequently":[139],"cited":[140],"being":[142],"beyond":[143],"range":[145],"traditional":[147],"true":[152],"unaided":[154],"syllogistic":[155],"unequal":[157],"some":[159],"them,":[161],"but":[162],"1880s":[165],"Keynes":[166],"[6]":[167]},"counts_by_year":[],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}