𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Glivenko like theorems in natural expansions of BCK-logic

✍ Scribed by Roberto Cignoli; Antoni Torrens Torrell

Publisher
John Wiley and Sons
Year
2004
Tongue
English
Weight
204 KB
Volume
50
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

The classical Glivenko theorem asserts that a propositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK‐logic with negation we understand an algebraizable logic whose language is an expansion of the language of BCK‐logic with negation by a family of connectives implicitly defined by equations and compatible with BCK‐congruences. Many of the logics in the current literature are natural expansions of BCK‐logic with negation. The validity of the analogous of Glivenko theorem in these logics is equivalent to the validity of a simple one‐variable formula in the language of BCK‐logic with negation. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Expansion of natural killer cells in pat
Expansion of natural killer cells in patients with head and neck cancer: Detection of “noninhibitory” (activating) killer Ig-like receptors on circulating natural killer cells
✍ Giovanni Melioli; Claudia Semino; Giovanni Margarino; Paola Mereu; Marco Scala; 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB 👁 1 views

## Background: In a group of patients with head and neck cancers (h&nc), the expansion of the population of cd3-,cd16+ natural killer (nk) cells in the peripheral blood was studied. ## Methods: Cytofluorimetric analysis of the expression of killer ig-like receptors (kir, namely p58.1, p58.2, p58.