{"id":"https://openalex.org/W2023151831","doi":"https://doi.org/10.1007/s11225-007-9083-4","title":"Type Logics and Pregroups","display_name":"Type Logics and Pregroups","publication_year":2007,"publication_date":"2007-11-15","ids":{"openalex":"https://openalex.org/W2023151831","doi":"https://doi.org/10.1007/s11225-007-9083-4","mag":"2023151831"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-007-9083-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-007-9083-4","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","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/A5009364388","display_name":"Wojciech Buszkowski","orcid":"https://orcid.org/0000-0002-2950-0864"},"institutions":[{"id":"https://openalex.org/I59411706","display_name":"Adam Mickiewicz University in Pozna\u0144","ror":"https://ror.org/04g6bbq64","country_code":"PL","type":"education","lineage":["https://openalex.org/I59411706"]},{"id":"https://openalex.org/I55952717","display_name":"Universidad Rovira i Virgili","ror":"https://ror.org/00g5sqv46","country_code":"ES","type":"education","lineage":["https://openalex.org/I55952717"]},{"id":"https://openalex.org/I47996466","display_name":"University of Warmia and Mazury in Olsztyn","ror":"https://ror.org/05s4feg49","country_code":"PL","type":"education","lineage":["https://openalex.org/I47996466"]}],"countries":["ES","PL"],"is_corresponding":true,"raw_author_name":"Wojciech Buszkowski","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, Adam Mickiewicz University in Pozna\u0144, Poznan, Poland","Faculty of Mathematics and Computer Science, University of Warmia and Mazury in Olsztyn, Olsztyn, Poland","Research Group on Mathematical Linguistics, Rovira i Virgili University in Tarragona, Tarragona, Spain","Adam Mickiewicz University in Pozna\u0144","Rovira i Virgili University in Tarragona","University of Warmia and Mazury in Olsztyn"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Adam Mickiewicz University in Pozna\u0144, Poznan, Poland","institution_ids":["https://openalex.org/I59411706"]},{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, University of Warmia and Mazury in Olsztyn, Olsztyn, Poland","institution_ids":["https://openalex.org/I47996466"]},{"raw_affiliation_string":"Research Group on Mathematical Linguistics, Rovira i Virgili University in Tarragona, Tarragona, Spain","institution_ids":["https://openalex.org/I55952717"]},{"raw_affiliation_string":"Adam Mickiewicz University in Pozna\u0144","institution_ids":["https://openalex.org/I59411706"]},{"raw_affiliation_string":"Rovira i Virgili University in Tarragona","institution_ids":["https://openalex.org/I55952717"]},{"raw_affiliation_string":"University of Warmia and Mazury in Olsztyn","institution_ids":["https://openalex.org/I47996466"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5009364388"],"corresponding_institution_ids":["https://openalex.org/I47996466","https://openalex.org/I55952717","https://openalex.org/I59411706"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.973,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.81745055,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"87","issue":"2-3","first_page":"145","last_page":"169"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988999962806702,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9987999796867371,"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/decidability","display_name":"Decidability","score":0.6752867102622986},{"id":"https://openalex.org/keywords/normalization","display_name":"Normalization (sociology)","score":0.6617993116378784},{"id":"https://openalex.org/keywords/computational-linguistics","display_name":"Computational linguistics","score":0.549222469329834},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5180218815803528},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.45768940448760986},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4420255720615387},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.4271136522293091},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.42257630825042725},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40186750888824463},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35869038105010986},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.31994813680648804},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.2311250865459442},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20370569825172424},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16739711165428162}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6752867102622986},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.6617993116378784},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.549222469329834},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5180218815803528},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.45768940448760986},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4420255720615387},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.4271136522293091},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.42257630825042725},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40186750888824463},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35869038105010986},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.31994813680648804},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2311250865459442},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20370569825172424},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16739711165428162},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11225-007-9083-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-007-9083-4","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W30801232","https://openalex.org/W196280186","https://openalex.org/W760466260","https://openalex.org/W1513699075","https://openalex.org/W1519554123","https://openalex.org/W1522830053","https://openalex.org/W1574172746","https://openalex.org/W1590593705","https://openalex.org/W1607317683","https://openalex.org/W1653282108","https://openalex.org/W1770609059","https://openalex.org/W1826530052","https://openalex.org/W1968426428","https://openalex.org/W1975812803","https://openalex.org/W1976366395","https://openalex.org/W1978223872","https://openalex.org/W1983481761","https://openalex.org/W1991478887","https://openalex.org/W2013957001","https://openalex.org/W2017864760","https://openalex.org/W2023695988","https://openalex.org/W2027484135","https://openalex.org/W2055396755","https://openalex.org/W2074070481","https://openalex.org/W2078432227","https://openalex.org/W2078877718","https://openalex.org/W2095436832","https://openalex.org/W2097396421","https://openalex.org/W2100232191","https://openalex.org/W2117375083","https://openalex.org/W2135783305","https://openalex.org/W2148482768","https://openalex.org/W2153956925","https://openalex.org/W2156703118","https://openalex.org/W2328580899","https://openalex.org/W2489637125","https://openalex.org/W2504091587","https://openalex.org/W2505089502","https://openalex.org/W2911865844","https://openalex.org/W3023653957","https://openalex.org/W3146475326","https://openalex.org/W4231112046","https://openalex.org/W4255194959","https://openalex.org/W4285719527","https://openalex.org/W4388313855","https://openalex.org/W4388313858","https://openalex.org/W6607074294","https://openalex.org/W6980486498"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W2331020993","https://openalex.org/W4383764068","https://openalex.org/W1481826604","https://openalex.org/W1797057780","https://openalex.org/W1501430220","https://openalex.org/W3187762542","https://openalex.org/W2583753471","https://openalex.org/W1505636692","https://openalex.org/W2583549044"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}