Glivenko theorem for N^-extensions

MaRDI QIDQ890887zbMATH OpenFDO

Authors 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)

Recommendations

• Glivenko like theorems in natural expansions of BCK-logic
• On a generalization of Glivenko's theorem
• Glivenko theorems revisited
• Glivenko's theorem, finite height, and local tabularity
• Glivenko theorems and negative translations in substructural predicate logics

Cited in

(3)

• Combining intuitionistic connectives and Routley negation
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
• Double negation operator in logic \(N^*\)

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)