Glivenko theorem for \(N^\ast\)-extensions

zbMath1329.68059MaRDI QIDQ890887

Sergei P. Odintsov

Publication date: 16 November 2015

Published in: Sibirskie Èlektronnye 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

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

Related Items (1)

Double Negation Operator in Logic N ∗

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