{"id":"https://openalex.org/W2004384679","doi":"https://doi.org/10.2307/2275814","title":"Some characterization theorems for infinitary universal Horn logic without equality","display_name":"Some characterization theorems for infinitary universal Horn logic without equality","publication_year":1996,"publication_date":"1996-12-01","ids":{"openalex":"https://openalex.org/W2004384679","doi":"https://doi.org/10.2307/2275814","mag":"2004384679"},"language":"en","primary_location":{"id":"doi:10.2307/2275814","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275814","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","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/A5000023318","display_name":"Pilar Dellunde","orcid":"https://orcid.org/0000-0002-8198-5475"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pilar Dellunde","raw_affiliation_strings":["Area of Logic and Philosophy of Science, Universitat Aut\u00f2noma de Barcelona, 08193 Bellaterra, Spain, E-mail:","Universitat Aut\u00f2noma de Barcelona"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Area of Logic and Philosophy of Science, Universitat Aut\u00f2noma de Barcelona, 08193 Bellaterra, Spain, E-mail:","institution_ids":["https://openalex.org/I123044942"]},{"raw_affiliation_string":"Universitat Aut\u00f2noma de Barcelona","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076924750","display_name":"Ram\u00f3n Jansana","orcid":"https://orcid.org/0000-0003-4191-5699"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ramon Jansana","raw_affiliation_strings":["Department of Logic, History and Philosophy of Science, Universitat de Barcelona, 08028 Barcelona, Spain, E-mail:","Universitat\u00a0 de Barcelona"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Logic, History and Philosophy of Science, Universitat de Barcelona, 08028 Barcelona, Spain, E-mail:","institution_ids":["https://openalex.org/I71999127"]},{"raw_affiliation_string":"Universitat\u00a0 de Barcelona","institution_ids":["https://openalex.org/I71999127"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":1.9692,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.85861311,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"61","issue":"4","first_page":"1242","last_page":"1260"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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.9998999834060669,"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.9991000294685364,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9918000102043152,"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/french-horn","display_name":"French horn","score":0.6553241610527039},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6435456871986389},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.641020655632019},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.6158414483070374},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.5760512948036194},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.49088937044143677},{"id":"https://openalex.org/keywords/symbol","display_name":"Symbol (formal)","score":0.4811771810054779},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46934211254119873},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4290391802787781},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3753302991390228},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.195612370967865},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15923210978507996},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07471653819084167},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.07391604781150818}],"concepts":[{"id":"https://openalex.org/C152076505","wikidata":"https://www.wikidata.org/wiki/Q1126540","display_name":"French horn","level":2,"score":0.6553241610527039},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6435456871986389},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.641020655632019},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.6158414483070374},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.5760512948036194},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.49088937044143677},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.4811771810054779},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46934211254119873},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4290391802787781},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3753302991390228},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.195612370967865},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15923210978507996},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07471653819084167},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.07391604781150818},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2307/2275814","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275814","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.542.7850","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.542.7850","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.iiia.csic.es/files/pdfs/DellundeJ96.pdf","raw_type":"text"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183745133","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183745133","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":null,"sustainable_development_goals":[{"score":0.4000000059604645,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1026721552","https://openalex.org/W1558528332","https://openalex.org/W1968810634","https://openalex.org/W2006556467","https://openalex.org/W2018213792","https://openalex.org/W2095367681","https://openalex.org/W2253467077","https://openalex.org/W2799061192","https://openalex.org/W2988584482","https://openalex.org/W4239479692","https://openalex.org/W4247559916"],"related_works":["https://openalex.org/W2372612917","https://openalex.org/W1991403408","https://openalex.org/W1521840795","https://openalex.org/W2404351495","https://openalex.org/W2600034178","https://openalex.org/W328089188","https://openalex.org/W2542670467","https://openalex.org/W1808107509","https://openalex.org/W2064560955","https://openalex.org/W1599544148"],"abstract_inverted_index":{"In":[0,30,107,256,280],"this":[1,281],"paper":[2],"we":[3,33,118,207,265,283],"mainly":[4],"study":[5,245,305,321],"preservation":[6,95,127,185],"theorems":[7,37],"for":[8,38,55,97,129,187,220,239,252],"two":[9,288],"fragments":[10],"of":[11,46,84,93,109,114,135,177,193,200,223,246,260,274,293,306,322,333,337,342],"the":[12,17,20,25,35,39,63,80,91,112,130,188,221,250,253,257,261,340],"infinitary":[13,136],"languagesL\u03ba\u03ba,":[14],"with\u03baregular,":[15],"without":[16,67,138,310,326],"equality":[18,139,311,327],"symbol:":[19],"universal":[21,26,43,64,132,190,241,307,323],"Horn":[22,28,44,65,133,191,242,308,324],"fragment":[23,45,66,134,192],"and":[24,60,162,204,238,271,312],"strict":[27,131,189,240],"fragment.":[29],"particular,":[31],"when\u03bais\u03c9,":[32],"obtain":[34,272],"corresponding":[36],"first-order":[40,47,195,225],"case.":[41],"The":[42,244,291],"logic":[48,72,117,296,309,325],"(with":[49],"equality)":[50],"has":[51,74,99,170,233,314],"been":[52,101],"extensively":[53],"studied;":[54],"references":[56],"see":[57,158],"[10],":[58],"[7]":[59],"[8].":[61],"But":[62],"equality,":[68],"used":[69],"frequently":[70],"in":[71,111,198,300,339],"programming,":[73],"received":[75],"much":[76],"less":[77],"attention":[78],"from":[79,142,229,277,328],"model":[81,105,330],"theoretic":[82,331],"point":[83,332],"view.":[85],"At":[86],"least":[87],"to":[88,155,215,285],"our":[89,216,278],"knowledge,":[90],"problem":[92],"obtaining":[94],"results":[96,248,276],"it":[98],"not":[100],"studied":[102],"before":[103],"by":[104],"theorists.":[106],"spite":[108],"this,":[110],"field":[113,292,341],"abstract":[115,294,343],"algebraic":[116,295,344],"find":[119,208],"a":[120,126,147,184,194,224,303,329],"theorem":[121,152],"which,":[122,140,180],"properly":[123,181,212],"translated,":[124,182],"is":[125,153,183,249],"result":[128,173,186],"languages":[137],"apart":[141,228],"function":[143,231],"symbols,":[144],"have":[145],"only":[146,234],"unary":[148],"relation":[149,236],"symbol.":[150],"This":[151],"due":[154],"J.":[156,202],"Czelakowski;":[157],"[5],":[159],"Theorem":[160,164],"6.1,":[161],"[6],":[163],"5.1.":[165],"A.":[166],"Torrens":[167],"[12]":[168],"also":[169],"an":[171,315],"unpublished":[172],"dealing":[174],"with":[175],"matrices":[176],"sequent":[178],"calculi":[179],"language.":[196],"And":[197],"[2]":[199],"W.":[201],"Blok":[203],"D.":[205],"Pigozzi":[206],"Corollary":[209,217],"6.3":[210],"which":[211],"translated":[213],"corresponds":[214],"19,":[218],"but":[219],"case":[222],"language":[226],"that":[227],"its":[230],"symbols":[232],"one\u03ba-ary":[235],"symbol,":[237],"sentences.":[243],"these":[247,268,275],"basis":[251],"present":[254],"work.":[255],"last":[258],"part":[259],"paper,":[262],"Section":[263],"4,":[264],"will":[266],"make":[267,286],"connections":[269],"clear":[270,287],"some":[273],"theorems.":[279],"way":[282],"hope":[284],"things:":[289],"(1)":[290],"can":[297,335],"be":[298,336],"seen,":[299],"part,":[301],"as":[302],"disguised":[304],"so":[313],"added":[316],"interest.":[317],"(2)":[318],"A":[319],"general":[320],"view":[334],"help":[338],"logic.":[345]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}