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