Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFLew of the substructural logic FLew. In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFLew (namely, a certain variety of FLew-algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated theorem-prover Prover9 in order to establish the result.The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFLew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL ew .
The algebraic category MV • is the image of MV, the category whose objects are the MV-algebras, by the equivalence K • (cf. [7,8]). In this paper we define the logic Ł • whose Lindenbaum algebra is an MV • -algebra (object of MV • ), and establish a link between Ł • and the infinite valued Łukasiewicz logic Ł. We define cU-operators, that have properties of universal quantifiers, and establish a bijection that maps an MV-algebra endowed with a U-operator (cf. [20][21][22]) into an MV • -algebra endowed with a cU-operator. This map extends to a functor that is a categorical equivalence.
Your article is protected by copyright and all rights are held exclusively by Springer Basel. This e-offprint is for personal use only and shall not be self-archived in electronic repositories. If you wish to self-archive your article, please use the accepted manuscript version for posting on your own website. You may further deposit the accepted manuscript version in any repository, provided it is only made publicly available 12 months after official publication or later and provided acknowledgement is given to the original source of publication and a link is inserted to the published article on Springer's website. The link must be accompanied by the following text: "The final publication is available at link.springer.com".
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
BlogTerms and ConditionsAPI TermsPrivacy PolicyContactCookie PreferencesDo Not Sell or Share My Personal Information
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.