No complete linear term rewriting system for propositional logic

DOI10.4230/LIPIcs.RTA.2015.127zbMath1366.68112OpenAlexW2279916621MaRDI QIDQ5277875

Anupam Das, Lutz Straßburger

Publication date: 12 July 2017

Full work available at URL: https://hal.inria.fr/hal-01236948

zbMATH Keywords

propositional logicproof theoryterm rewritingdeep inferencelinear rules

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Classical propositional logic (03B05)

Related Items (3)

An Analytic Propositional Proof System on Graphs ⋮ Enumerating Independent Linear Inferences ⋮ On linear rewriting systems for Boolean logic and some applications to proof theory

This page was built for publication: No complete linear term rewriting system for propositional logic