Glivenko theorem for N^-extensions

zbMATH Open1329.68059MaRDI QIDQ890887FDOQ890887

S. P. Odintsov

Publication date: 16 November 2015

Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v8/p365-368.pdf

zbMATH Keywords

Glivenko theoremRoutley semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic programming (68N17) Logic in computer science (03B70) Other algebras related to logic (03G25)

Cited In (2)

• Double Negation Operator in Logic N ∗
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs

This page was built for publication: Glivenko theorem for \(N^\ast\)-extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890887)