{"id":"https://openalex.org/W236480959","doi":"https://doi.org/10.1142/s0218213006003107","title":"LOGIC OF DETERMINATION OF OBJECTS: THE MEANING OF VARIABLE IN QUANTIFICATION","display_name":"LOGIC OF DETERMINATION OF OBJECTS: THE MEANING OF VARIABLE IN QUANTIFICATION","publication_year":2006,"publication_date":"2006-12-01","ids":{"openalex":"https://openalex.org/W236480959","doi":"https://doi.org/10.1142/s0218213006003107","mag":"236480959"},"language":"en","primary_location":{"id":"doi:10.1142/s0218213006003107","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213006003107","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","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/A5113435270","display_name":"Jean-Pierre Descl\u00e9s","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"JEAN-PIERRE DESCL\u00c9S","raw_affiliation_strings":["Universite Paris-Sorbonne, LALICC, CNRS, 28, rue Serpente, Paris, 75006, France"],"affiliations":[{"raw_affiliation_string":"Universite Paris-Sorbonne, LALICC, CNRS, 28, rue Serpente, Paris, 75006, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108135204","display_name":"Anca Christine Pascu","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"ANCA PASCU","raw_affiliation_strings":["Universite de Bretagne Occidentale, LALICC, CNRS, 20, rue Duquesne, Brest, 29200, France"],"affiliations":[{"raw_affiliation_string":"Universite de Bretagne Occidentale, LALICC, CNRS, 20, rue Duquesne, Brest, 29200, France","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5113435270"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"],"apc_list":null,"apc_paid":null,"fwci":0.4517,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.70879674,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"15","issue":"06","first_page":"1041","last_page":"1052"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987999796867371,"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.9987999796867371,"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.9979000091552734,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.996999979019165,"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/intension","display_name":"Intension","score":0.7676838636398315},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6956098675727844},{"id":"https://openalex.org/keywords/indeterminate","display_name":"Indeterminate","score":0.65849769115448},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5918386578559875},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5403440594673157},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.5364855527877808},{"id":"https://openalex.org/keywords/natural-deduction","display_name":"Natural deduction","score":0.5361976623535156},{"id":"https://openalex.org/keywords/meaning","display_name":"Meaning (existential)","score":0.47039589285850525},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4393925964832306},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.4324856102466583},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4226328730583191},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3459983468055725},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33662253618240356},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.2819974422454834},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20474347472190857},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1657225489616394}],"concepts":[{"id":"https://openalex.org/C61341680","wikidata":"https://www.wikidata.org/wiki/Q1923256","display_name":"Intension","level":2,"score":0.7676838636398315},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6956098675727844},{"id":"https://openalex.org/C94624232","wikidata":"https://www.wikidata.org/wiki/Q3150667","display_name":"Indeterminate","level":2,"score":0.65849769115448},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5918386578559875},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5403440594673157},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5364855527877808},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.5361976623535156},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.47039589285850525},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4393925964832306},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.4324856102466583},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4226328730583191},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3459983468055725},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33662253618240356},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2819974422454834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20474347472190857},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1657225489616394},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0218213006003107","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213006003107","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","raw_type":"journal-article"},{"id":"mag:236480959","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/flairs/flairs2005.html#DesclesP05","pdf_url":null,"source":{"id":"https://openalex.org/S4306421048","display_name":"The Florida AI Research Society","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"The Florida AI Research Society","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.7099999785423279,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W647776093","https://openalex.org/W914828328","https://openalex.org/W1537854563","https://openalex.org/W2105232714","https://openalex.org/W3128891208","https://openalex.org/W4246207837"],"related_works":["https://openalex.org/W2077869188","https://openalex.org/W2116126715","https://openalex.org/W1830976172","https://openalex.org/W1980805018","https://openalex.org/W2952468129","https://openalex.org/W2337836651","https://openalex.org/W2787297294","https://openalex.org/W1560898921","https://openalex.org/W1996645107","https://openalex.org/W2132616326","https://openalex.org/W3163489037","https://openalex.org/W2017418014","https://openalex.org/W2393954913","https://openalex.org/W2588756959","https://openalex.org/W60282478","https://openalex.org/W2770955784","https://openalex.org/W2141444450","https://openalex.org/W1485629129","https://openalex.org/W1979462910","https://openalex.org/W1989043907"],"abstract_inverted_index":{"This":[0],"article":[1],"constitutes":[2],"a":[3,20,60,68],"contribution":[4],"to":[5,80,86],"an":[6,33],"analysis":[7],"of":[8,11,16,27,29,52,59,67,89],"the":[9,14,25,36,47,87],"notion":[10],"variable.":[12],"Within":[13],"framework":[15],"Combinatory":[17],"Logic":[18,26],"as":[19],"formalism":[21],"without":[22],"bound":[23],"variables,":[24],"Determination":[28],"Objects":[30],"(LDO)":[31],"provides":[32],"explanation":[34],"for":[35],"necessary":[37],"distinction":[38],"between":[39],"\"whatever,":[40],"any\"":[41],"and":[42,49,62,64,85],"\"indeterminate,":[43],"indefinite\"":[44],"used":[45],"by":[46],"introduction":[48],"elimination":[50],"rules":[51],"quantifiers":[53,75],"in":[54,92],"Natural":[55],"Deduction.":[56],"The":[57],"intension":[58],"concept":[61,69],"typical":[63],"atypical":[65],"occurrences":[66],"are":[70,77],"also":[71],"introduced":[72],"yielding":[73],"new":[74],"which":[76],"more":[78],"adequate":[79],"natural":[81,90],"language":[82],"processing":[83],"(NPL)":[84],"study":[88],"inferences":[91],"common":[93],"reasoning.":[94]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}