{"corpus_id":207785968,"paper_sha":"ad7f0a6f13cfce95d54b25c58dfe3be1de6a396e","doi":"10.1016/0020-0190(94)00198-8","arxiv_id":null,"pmid":null,"pmcid":null,"mag_id":2171349424,"dblp_id":"journals/ipl/GriesS95","acl_id":null,"title":"Equational Propositional Logic","year":1995,"publication_date":"1995-02-10","venue":"Information Processing Letters","journal":{"name":"Inf. Process. Lett.","pages":"145-152","volume":"53"},"journal_issn":null,"journal_title":null,"publication_types":["JournalArticle"],"pubmed_pub_types":null,"s2_fields_of_study":["Mathematics","Computer Science"],"reference_count":7,"citation_count":238,"influential_citation_count":12,"is_open_access":false,"arxiv_categories":null,"arxiv_license":null,"arxiv_journal_ref":null,"mesh_headings":null,"chemicals":null,"comments_corrections":null,"source_flags":1,"s2_open_access_pdf_url":null,"s2_open_access_landing_url":null,"s2_open_access_license":null,"s2_open_access_status":null,"pmc_open_access_pdf_url":null,"pmc_open_access_landing_url":null,"pmc_open_access_license":null,"pmc_open_access_status":null,"unpaywall_open_access_pdf_url":null,"unpaywall_open_access_landing_url":null,"unpaywall_open_access_license":null,"unpaywall_open_access_status":null,"abstract":"We formalize equational propositional logic, prove that it is sound and complete, and compare the equational-proof style with the more traditional Hilbert style.","claims":[{"public_id":"cl_8d51e5cb30297e07593945bee35f7ddc","status":"active","text":"Equational propositional logic is formalized as a logical system.","confidence":0.98,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_8d51e5cb30297e07593945bee35f7ddc"},{"public_id":"cl_bdb02e0effbb5e10ffd49b2e149c76b7","status":"active","text":"Equational propositional logic is sound and complete.","confidence":0.99,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_bdb02e0effbb5e10ffd49b2e149c76b7"},{"public_id":"cl_e1727475c833c83739a3f8b81da2eaf8","status":"active","text":"The equational-proof style is compared with the more traditional Hilbert style.","confidence":0.93,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_e1727475c833c83739a3f8b81da2eaf8"}],"concepts":[{"public_id":"co_03882f1b4b5ad42cccdc48f6e06e464c","status":"active","name":"equational-proof style","description":"A proof style that derives propositions through equational reasoning.","types":["proof style"],"aliases":["equational proof style"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_03882f1b4b5ad42cccdc48f6e06e464c"},{"public_id":"co_6d0b707d540ac9a9a364194ab41d8038","status":"active","name":"equational propositional logic","description":"A propositional logic formalized using equations as the primary proof format.","types":["logical system"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_6d0b707d540ac9a9a364194ab41d8038"},{"public_id":"co_8a2a720a7e64b99ee0c2118eb940c777","status":"active","name":"Hilbert style","description":"A traditional axiomatic proof style for propositional logic.","types":["proof style"],"aliases":["Hilbert-style"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_8a2a720a7e64b99ee0c2118eb940c777"}],"external_ids":{"DOI":"10.1016/0020-0190(94)00198-8","ArXiv":null,"PubMed":null,"PubMedCentral":null,"MAG":2171349424,"DBLP":"journals/ipl/GriesS95","ACL":null},"open_access":{"is_open_access":false,"pdf_url":null,"landing_url":"https://sah.borca.ai/papers/207785968","source":null,"pdf_url_source":null,"license":null,"reason":"pdf_url_not_indexed"},"reference_availability":{"status":"available","references_indexed":true,"full_text_available":false,"full_text_source":null,"count_basis":"semantic_scholar_metadata","extraction_status":"not_applicable","reason":null},"source":{"provider":"episteme2","base_corpus":"semantic_scholar_dump","freshness_mode":"unknown","basis":["semantic_scholar_metadata","postgres_metadata"],"limits":["paper metadata is based on indexed upstream scholarly datasets","claims and concepts are available only for extracted papers","absence of claims or concepts means no extracted graph data is available in this response"],"status":"available","degraded":false,"degraded_reasons":[],"diagnostics":{"status":"available","degraded":false,"degraded_reasons":[],"metadata_status":"available","graph_status":"available","abstract_status":"available"},"source_flags":1},"paper_id":631963,"paper_uid":"8a9bc2df-d08f-45ef-972a-725e4dfc1809","canonical_identity":{"paper_id":631963,"paper_uid":"8a9bc2df-d08f-45ef-972a-725e4dfc1809","identity_status":"available","lookup_basis":"semantic_scholar_external_id","compatibility_path":"corpus_id"},"url":"https://sah.borca.ai/papers/207785968"}