Constructive logic with strong negation is a substructural logic. II (Q1005940)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Constructive logic with strong negation is a substructural logic. II
scientific article

    Statements

    Constructive logic with strong negation is a substructural logic. II (English)
    0 references
    0 references
    0 references
    17 March 2009
    0 references
    This is the latter half of two papers in which the authors show that the constructive logic with strong negation is definitionally equivalent to a certain axiomatic extension of the substructural logic FLew, namely, the full Lambek calculus with exchange and weakening. In the first half [\textit{M. Spinks} and \textit{R. Veroff}, Stud. Log. 88, No. 3, 325--348 (2008; Zbl 1145.03013)], it was shown that the variety of Nelson algebras and a certain variety of FLew-algebras are term equivalent, which is lifted in this paper to the above-mentioned equivalence to get the result stated in the title. As a matter of fact, the equivalence is obtained by an application of a theorem to give a sufficient condition for the definitional equivalence of regularly algebraisable logics in a general setting. For the theorem, therefore, the authors survey briefly some fundamental notions in abstract algebraic logics, such as deductive system, definitional equivalence for deductive systems, regularly algebraisable logics, and so on, where a refinement of the definition of substructural logics is also proposed.
    0 references
    0 references
    constructive logic
    0 references
    strong negation
    0 references
    substructural logic
    0 references
    Nelson algebra
    0 references
    residuated lattice
    0 references
    deductive system
    0 references
    definitional equivalence
    0 references
    regularly algebraisable logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers