Specifying Proof Systems in Linear Logic with Subexponentials
Work
Year: 2011
Type: article
Abstract: In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic's finer control on structural rules, it is possible to match t... more
Authors Vivek Nigam, Elaine Pimentel, Giselle Reis
Cites: 19
Cited by: 22
Related to: 10
FWCI: 3.415
Citation percentile (by year/subfield): 91.41
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: gold