Negative Translations for Affine and Lukasiewicz Logic
From MaRDI portal
Publication:6330124
arXiv1912.00012MaRDI QIDQ6330124
Publication date: 29 November 2019
Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)