{"id":"https://openalex.org/W2478745993","doi":"https://doi.org/10.1201/b10689-23","title":"Fundamental Results in Propositional Logic","display_name":"Fundamental Results in Propositional Logic","publication_year":2008,"publication_date":"2008-12-22","ids":{"openalex":"https://openalex.org/W2478745993","doi":"https://doi.org/10.1201/b10689-23","mag":"2478745993"},"language":"en","primary_location":{"id":"doi:10.1201/b10689-23","doi":"https://doi.org/10.1201/b10689-23","is_oa":false,"landing_page_url":"https://doi.org/10.1201/b10689-23","pdf_url":null,"source":{"id":"https://openalex.org/S4306462788","display_name":"A K Peters/CRC Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310320449","host_organization_name":"Informa","host_organization_lineage":["https://openalex.org/P4310320449"],"host_organization_lineage_names":["Informa"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Labyrinths","raw_type":"book-chapter"},"volume":null,"type":"book-chapter","is_traditional":true,"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/A5060720898","display_name":"Raymond M. Smullyan","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Raymond Smullyan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5060720898"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"191","last_page":"204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9136000275611877,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9136000275611877,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.028699999675154686,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.026799999177455902,"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/propositional-logic","display_name":"propositional logic","score":0.8029999732971191},{"id":"https://openalex.org/keywords/tableau-method","display_name":"tableau method","score":0.9350000023841858},{"id":"https://openalex.org/keywords/tautology","display_name":"tautology","score":0.7839999794960022},{"id":"https://openalex.org/keywords/satisfiability","display_name":"satisfiability","score":0.9120000004768372},{"id":"https://openalex.org/keywords/compactness-theorem","display_name":"compactness theorem","score":0.9300000071525574},{"id":"https://openalex.org/keywords/finite-subsets","display_name":"finite subsets","score":0.4359999895095825}],"concepts":[{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.6009888052940369},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.567017138004303},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.5664087533950806},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.5161898732185364},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.49457499384880066},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44263955950737},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.32119816541671753},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32102227210998535},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26906952261924744},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.05809304118156433},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.05592036247253418}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1201/b10689-23","doi":"https://doi.org/10.1201/b10689-23","is_oa":false,"landing_page_url":"https://doi.org/10.1201/b10689-23","pdf_url":null,"source":{"id":"https://openalex.org/S4306462788","display_name":"A K Peters/CRC Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310320449","host_organization_name":"Informa","host_organization_lineage":["https://openalex.org/P4310320449"],"host_organization_lineage_names":["Informa"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Labyrinths","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2021653569","https://openalex.org/W7084680858","https://openalex.org/W2499036894","https://openalex.org/W2502572478","https://openalex.org/W4416592715","https://openalex.org/W1984799723","https://openalex.org/W4293278690","https://openalex.org/W2118331556","https://openalex.org/W2143810536","https://openalex.org/W2030891888"],"abstract_inverted_index":{"It":[0],"should":[1],"be":[2,15,42],"intuitively":[3],"obvious":[4],"that":[5,22,28],"any":[6,37,55,64],"formula":[7],"provable":[8],"by":[9,44],"the":[10,20,29,45,69,111],"tableau":[11,24,50,134],"method":[12],"must":[13,26],"really":[14],"a":[16,23,49,97,118],"tautology,":[17],"or,":[18],"equivalently,":[19],"fact":[21],"closes":[25],"mean":[27],"origin":[30],"is":[31,52,61,72,82,105,108],"not":[32],"satisfiable":[33],"(not":[34],"true":[35],"under":[36],"interpretation).":[38],"This":[39,107],"intuition":[40],"can":[41,90,137],"justified":[43],"following":[46],"argument.":[47],"If":[48,92],"T":[51,60,81,89],"satisfiable,":[53,62,73,83,102,131],"then":[54,103,132],"immediate":[56,65],"extension":[57,66,70,79,87],"T1":[58,71],"of":[59,68,80,88,96,122,128],"hence":[63,85],"T2":[67],"and":[74,84],"so":[75],"forth.":[76],"Thus":[77],"every":[78],"no":[86,133],"close.":[91,138],"all":[93,125],"finite":[94,126],"subsets":[95,127],"denumerable":[98,119],"set":[99,120],"S":[100,104,121,129,136],"are":[101,130],"satisfiable.":[106],"known":[109],"as":[110],"Compactness":[112],"Theorem":[113],"for":[114,135],"Propositional":[115],"Logic.":[116],"For":[117],"formulas,":[123],"if":[124]},"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2016-08-23T00:00:00"}