On linear rewriting systems for Boolean logic and some applications to proof theory
Linear rules have played an increasing role in structural proof theory in recent years. It has been observed that the set of all sound linear inference rules in Boolean logic is already coNP-complete, i.e. that every Boolean tautology can be written as a (left- and right-)linear rewrite rule. In thi...
Main Authors: | Anupam Das, Lutz Straßburger |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2017-04-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/2621/pdf |
Similar Items
-
From Proof Nets to the Free *-Autonomous Category
by: Francois Lamarche, et al.
Published: (2006-10-01) -
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
by: Simon Docherty, et al.
Published: (2018-10-01) -
Generic Modal Cut Elimination Applied to Conditional Logics
by: Dirk Pattinson, et al.
Published: (2011-03-01) -
Bounded Linear Logic, Revisited
by: Ugo Dal Lago, et al.
Published: (2010-12-01) -
Classical BI: Its Semantics and Proof Theory
by: James Brotherston, et al.
Published: (2010-07-01)