Correctness of Multiplicative Additive Proof Structures is NL-Complete

The authors revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NL-complete.

Uloženo v:
Podrobná bibliografie
Vydáno v:2008 23rd Annual IEEE Symposium on Logic in Computer Science s. 476 - 485
Hlavní autoři: de Naurois, P.J., Mogbil, V.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.06.2008
Témata:
Additives
Calculus
Complexity theory
Computational Complexity
Computer science
Correctness Criterion
Jacobian matrices
Logic
Multiplicative Additive Linear Logic
NL-completness
Parallel algorithms
proof-nets
ISBN:9780769531830, 0769531830
ISSN:1043-6871
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The authors revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NL-complete.
ISBN:9780769531830
0769531830
ISSN:1043-6871
DOI:10.1109/LICS.2008.20