{"id":"https://openalex.org/W2577523230","doi":"https://doi.org/10.1017/s1755020316000435","title":"EQUIVALENCES FOR TRUTH PREDICATES","display_name":"EQUIVALENCES FOR TRUTH PREDICATES","publication_year":2017,"publication_date":"2017-01-19","ids":{"openalex":"https://openalex.org/W2577523230","doi":"https://doi.org/10.1017/s1755020316000435","mag":"2577523230"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020316000435","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020316000435","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://kclpure.kcl.ac.uk/ws/files/113916793/Equivalances_for_Truth_Predicates_NICOLAI_Published_Online_19_January_2017_GREEN_VoR.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027062828","display_name":"Carlo Nicolai","orcid":"https://orcid.org/0009-0003-1027-5294"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]},{"id":"https://openalex.org/I292141241","display_name":"Munich School of Philosophy","ror":"https://ror.org/02kqy4228","country_code":"DE","type":"education","lineage":["https://openalex.org/I292141241"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"CARLO NICOLAI","raw_affiliation_strings":["Munich Center for Mathematical Philosophy, LMU Munich"],"affiliations":[{"raw_affiliation_string":"Munich Center for Mathematical Philosophy, LMU Munich","institution_ids":["https://openalex.org/I8204097","https://openalex.org/I292141241"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027062828"],"corresponding_institution_ids":["https://openalex.org/I292141241","https://openalex.org/I8204097"],"apc_list":null,"apc_paid":null,"fwci":0.4741,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.64152711,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"10","issue":"2","first_page":"322","last_page":"356"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9997000098228455,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9997000098228455,"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.9970999956130981,"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/T10778","display_name":"Philosophy and History of Science","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7076647877693176},{"id":"https://openalex.org/keywords/semantic-theory-of-truth","display_name":"Semantic theory of truth","score":0.7016056776046753},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5976191163063049},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.562598705291748},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.5578685998916626},{"id":"https://openalex.org/keywords/logical-truth","display_name":"Logical truth","score":0.5502849817276001},{"id":"https://openalex.org/keywords/coherence-theory-of-truth","display_name":"Coherence theory of truth","score":0.5041245222091675},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4841090440750122},{"id":"https://openalex.org/keywords/logical-equivalence","display_name":"Logical equivalence","score":0.47586530447006226},{"id":"https://openalex.org/keywords/comprehension","display_name":"Comprehension","score":0.45837119221687317},{"id":"https://openalex.org/keywords/truth-condition","display_name":"Truth condition","score":0.4569151997566223},{"id":"https://openalex.org/keywords/truth-function","display_name":"Truth function","score":0.4524660110473633},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3360769748687744},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30206042528152466},{"id":"https://openalex.org/keywords/pragmatic-theory-of-truth","display_name":"Pragmatic theory of truth","score":0.2914336323738098},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2631292939186096},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.21980145573616028},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14716923236846924},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.10487771034240723}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7076647877693176},{"id":"https://openalex.org/C39095165","wikidata":"https://www.wikidata.org/wiki/Q7449101","display_name":"Semantic theory of truth","level":2,"score":0.7016056776046753},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5976191163063049},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.562598705291748},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.5578685998916626},{"id":"https://openalex.org/C74727942","wikidata":"https://www.wikidata.org/wiki/Q3311695","display_name":"Logical truth","level":2,"score":0.5502849817276001},{"id":"https://openalex.org/C107553210","wikidata":"https://www.wikidata.org/wiki/Q4179467","display_name":"Coherence theory of truth","level":3,"score":0.5041245222091675},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4841090440750122},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.47586530447006226},{"id":"https://openalex.org/C511192102","wikidata":"https://www.wikidata.org/wiki/Q5156948","display_name":"Comprehension","level":2,"score":0.45837119221687317},{"id":"https://openalex.org/C39308869","wikidata":"https://www.wikidata.org/wiki/Q2891657","display_name":"Truth condition","level":2,"score":0.4569151997566223},{"id":"https://openalex.org/C37754750","wikidata":"https://www.wikidata.org/wiki/Q913874","display_name":"Truth function","level":3,"score":0.4524660110473633},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3360769748687744},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30206042528152466},{"id":"https://openalex.org/C197199266","wikidata":"https://www.wikidata.org/wiki/Q7237641","display_name":"Pragmatic theory of truth","level":2,"score":0.2914336323738098},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2631292939186096},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.21980145573616028},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14716923236846924},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.10487771034240723},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1755020316000435","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020316000435","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/75302fd3-9a2d-4226-98c0-620d2e378171","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/75302fd3-9a2d-4226-98c0-620d2e378171","pdf_url":"https://kclpure.kcl.ac.uk/ws/files/113916793/Equivalances_for_Truth_Predicates_NICOLAI_Published_Online_19_January_2017_GREEN_VoR.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Nicolai , C 2017 , ' Equivalences for truth predicates ' , Review Of Symbolic Logic , vol. 10 , no. 2 , pp. 322-356 . https://doi.org/10.1017/S1755020316000435","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/75302fd3-9a2d-4226-98c0-620d2e378171","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/75302fd3-9a2d-4226-98c0-620d2e378171","pdf_url":"https://kclpure.kcl.ac.uk/ws/files/113916793/Equivalances_for_Truth_Predicates_NICOLAI_Published_Online_19_January_2017_GREEN_VoR.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Nicolai , C 2017 , ' Equivalences for truth predicates ' , Review Of Symbolic Logic , vol. 10 , no. 2 , pp. 322-356 . https://doi.org/10.1017/S1755020316000435","raw_type":"article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2577523230.pdf","grobid_xml":"https://content.openalex.org/works/W2577523230.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W46517763","https://openalex.org/W174342562","https://openalex.org/W601500718","https://openalex.org/W635853265","https://openalex.org/W981827185","https://openalex.org/W1008748165","https://openalex.org/W1494745377","https://openalex.org/W1512457525","https://openalex.org/W1517710889","https://openalex.org/W1539962447","https://openalex.org/W1547645866","https://openalex.org/W1556453281","https://openalex.org/W1567156820","https://openalex.org/W1571003765","https://openalex.org/W1572451808","https://openalex.org/W1581341800","https://openalex.org/W1587093213","https://openalex.org/W1589514330","https://openalex.org/W1601654835","https://openalex.org/W1602067282","https://openalex.org/W1804297988","https://openalex.org/W1971496477","https://openalex.org/W1971643033","https://openalex.org/W1977632997","https://openalex.org/W2001650869","https://openalex.org/W2004987829","https://openalex.org/W2009558863","https://openalex.org/W2022073203","https://openalex.org/W2025127850","https://openalex.org/W2026668772","https://openalex.org/W2029977552","https://openalex.org/W2050608833","https://openalex.org/W2058556119","https://openalex.org/W2067808143","https://openalex.org/W2081002360","https://openalex.org/W2101165924","https://openalex.org/W2114374802","https://openalex.org/W2117832390","https://openalex.org/W2118110454","https://openalex.org/W2127480889","https://openalex.org/W2131362217","https://openalex.org/W2160341068","https://openalex.org/W2163045088","https://openalex.org/W2167573131","https://openalex.org/W2169685450","https://openalex.org/W2251843765","https://openalex.org/W2501280327","https://openalex.org/W2592491023","https://openalex.org/W2963331508","https://openalex.org/W3039529476","https://openalex.org/W3106542286","https://openalex.org/W4205623740","https://openalex.org/W4229690001","https://openalex.org/W4233491773","https://openalex.org/W4242999300","https://openalex.org/W4302608058","https://openalex.org/W6675305375"],"related_works":["https://openalex.org/W2387718228","https://openalex.org/W2257755699","https://openalex.org/W4307333012","https://openalex.org/W2361375926","https://openalex.org/W2330158772","https://openalex.org/W2327706158","https://openalex.org/W3117619566","https://openalex.org/W3217244058","https://openalex.org/W4225915589","https://openalex.org/W2577523230"],"abstract_inverted_index":{"Abstract":[0],"One":[1],"way":[2],"to":[3,12,19,27,31,57,69,128,189],"study":[4,66],"and":[5,95,123,170],"understand":[6],"the":[7,72,98,139,148,153,156,160,164,168],"notion":[8,99],"of":[9,35,42,50,74,79,84,86,97,100,113,115,117,141,159,191],"truth":[10,80,181],"is":[11,174],"examine":[13],"principles":[14,85],"that":[15,53,130,172],"we":[16],"are":[17,54,132],"willing":[18],"associate":[20],"with":[21,82,152],"truth,":[22],"often":[23],"because":[24],"they":[25],"conform":[26],"a":[28,32,175],"pre-theoretical":[29],"or":[30,184],"semi-formal":[33],"characterization":[34],"this":[36,63],"concept.":[37],"In":[38,62,88,155],"comparing":[39],"different":[40],"collections":[41,83],"such":[43],"principles,":[44],"one":[45],"requires":[46],"formally":[47],"precise":[48,71,176],"notions":[49,78,114,150],"inter-theoretic":[51],"reduction":[52],"also":[55],"adequate":[56],"compare":[58],"these":[59],"conceptual":[60,75,145],"aspects.":[61],"work":[64],"I":[65,91,109,162],"possible":[67],"ways":[68],"make":[70],"relation":[73],"equivalence":[76,116,146],"between":[77,147],"associated":[81,151],"truth.":[87],"doing":[89],"so,":[90],"will":[92],"consider":[93],"refinements":[94],"strengthenings":[96],"relative":[101],"truth-definability":[102,137],"proposed":[103],"by":[104],"Fujimoto":[105],"(2010):":[106],"in":[107,120,167,178],"particular":[108],"employ":[110],"suitable":[111],"variants":[112],"theories":[118],"considered":[119],"Visser":[121,126],"(2006)":[122],"Friedman":[124],"&":[125],"(2014)":[127],"show":[129,171],"there":[131,173],"better":[133],"candidates":[134],"than":[135],"mutual":[136],"for":[138,144],"role":[140],"sufficient":[142],"condition":[143],"semantic":[149],"theories.":[154],"concluding":[157],"part":[158],"paper,":[161],"extend":[163],"techniques":[165],"introduced":[166],"first":[169],"sense":[177],"which":[179],"ramified":[180],"(either":[182],"disquotational":[183],"compositional)":[185],"does":[186],"not":[187],"correspond":[188],"iterations":[190],"comprehension.":[192]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}