{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"sequent calculus","description":"A formal proof system in mathematical logic that represents inferences using sequents and rule-governed derivations.","display_name_alternatives":["calculus of sequents","sequent calculi","gentzen systems","gentzen calculus"],"ids":{"openalex":"https://openalex.org/keywords/sequent-calculus","wikidata":"https://www.wikidata.org/wiki/Q1771121"},"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.3954,"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.3954,"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.2662,"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.2215,"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"}}],"works_count":6105,"cited_by_count":52726,"works_api_url":"https://api.openalex.org/works?filter=keywords.id:keywords/sequent-calculus","updated_date":"2026-10-19T04:06:21","created_date":"2022-04-12T19:38:12"}