Compatibly involutive residuated lattices and the Nelson identity
Nelson’s constructive logic with strong negation N3 can be presented (to within definitional equivalence) as the axiomatic extension NInFL ew of the involutive full Lambek calculus with exchange and weakening by the Nelson axiom[Figure not available: see fulltext.] The algebraic counterpart of NInFL...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2018 |
| País: | España |
| Institución: | Universidad Nacional de Educación a Distancia |
| Repositorio: | e-spacio. Repositorio Institucional de la UNED |
| Idioma: | inglés |
| OAI Identifier: | oai:e-spacio.uned.es:20.500.14468/24645 |
| Acceso en línea: | https://hdl.handle.net/20.500.14468/24645 |
| Access Level: | acceso abierto |
| Palabra clave: | 11 Lógica Nelson algebra Nelson logic compatibly involutive residuated lattices congruence orderable Fregean |
| id |
ES_0d81b9f2dcf150e38775dfa2aa2b21fd |
|---|---|
| oai_identifier_str |
oai:e-spacio.uned.es:20.500.14468/24645 |
| network_acronym_str |
ES |
| network_name_str |
España |
| repository_id_str |
|
| spelling |
Compatibly involutive residuated lattices and the Nelson identityMatthew SpinksRivieccio, UmbertoNascimento, Thiago11 LógicaNelson algebraNelson logiccompatibly involutive residuated latticescongruence orderableFregeanNelson’s constructive logic with strong negation N3 can be presented (to within definitional equivalence) as the axiomatic extension NInFL ew of the involutive full Lambek calculus with exchange and weakening by the Nelson axiom[Figure not available: see fulltext.] The algebraic counterpart of NInFL ew is the recently introduced class of Nelson residuated lattices. These are commutative integral bounded residuated lattices ⟨ A; ∧ , ∨ , ∗ , ⇒ , 0 , 1 ⟩ that: (i) are compatibly involutive in the sense that ∼ ∼ a= a for all a∈ A, where ∼ a: = a⇒ 0 , and (ii) satisfy the Nelson identity, namely the algebraic analogue of (Nelson ⊢ ), viz.(x⇒(x⇒y))∧(∼y⇒(∼y⇒∼x))≈x⇒y.The present paper focuses on the role played by the Nelson identity in the context of compatibly involutive commutative integral bounded residuated lattices. We present several characterisations of the identity (Nelson) in this setting, which variously permit us to comprehend its model-theoretic content from order-theoretic, syntactic, and congruence-theoretic perspectives. Notably, we show that a compatibly involutive commutative integral bounded residuated lattice A is a Nelson residuated lattice iff for all a, b∈ A, the congruence condition ΘA(0,a)=ΘA(0,b)andΘA(1,a)=ΘA(1,b)impliesa=bholds. This observation, together with others of the main results, opens the door to studying the characteristic property of Nelson residuated lattices (and hence Nelson’s constructive logic with strong negation) from a purely abstract perspective.Springer Naturee-Spacio UNED20242024-12-0220182018-11-0320182018-11-03journal articlehttp://purl.org/coar/resource_type/c_6501info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/20.500.14468/24645reponame:e-spacio. Repositorio Institucional de la UNEDinstname:Universidad Nacional de Educación a DistanciaInglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.esoai:e-spacio.uned.es:20.500.14468/246452026-06-06T12:38:31Z |
| dc.title.none.fl_str_mv |
Compatibly involutive residuated lattices and the Nelson identity |
| title |
Compatibly involutive residuated lattices and the Nelson identity |
| spellingShingle |
Compatibly involutive residuated lattices and the Nelson identity Matthew Spinks 11 Lógica Nelson algebra Nelson logic compatibly involutive residuated lattices congruence orderable Fregean |
| title_short |
Compatibly involutive residuated lattices and the Nelson identity |
| title_full |
Compatibly involutive residuated lattices and the Nelson identity |
| title_fullStr |
Compatibly involutive residuated lattices and the Nelson identity |
| title_full_unstemmed |
Compatibly involutive residuated lattices and the Nelson identity |
| title_sort |
Compatibly involutive residuated lattices and the Nelson identity |
| dc.creator.none.fl_str_mv |
Matthew Spinks Rivieccio, Umberto Nascimento, Thiago |
| author |
Matthew Spinks |
| author_facet |
Matthew Spinks Rivieccio, Umberto Nascimento, Thiago |
| author_role |
author |
| author2 |
Rivieccio, Umberto Nascimento, Thiago |
| author2_role |
author author |
| dc.contributor.none.fl_str_mv |
e-Spacio UNED |
| dc.subject.none.fl_str_mv |
11 Lógica Nelson algebra Nelson logic compatibly involutive residuated lattices congruence orderable Fregean |
| topic |
11 Lógica Nelson algebra Nelson logic compatibly involutive residuated lattices congruence orderable Fregean |
| description |
Nelson’s constructive logic with strong negation N3 can be presented (to within definitional equivalence) as the axiomatic extension NInFL ew of the involutive full Lambek calculus with exchange and weakening by the Nelson axiom[Figure not available: see fulltext.] The algebraic counterpart of NInFL ew is the recently introduced class of Nelson residuated lattices. These are commutative integral bounded residuated lattices ⟨ A; ∧ , ∨ , ∗ , ⇒ , 0 , 1 ⟩ that: (i) are compatibly involutive in the sense that ∼ ∼ a= a for all a∈ A, where ∼ a: = a⇒ 0 , and (ii) satisfy the Nelson identity, namely the algebraic analogue of (Nelson ⊢ ), viz.(x⇒(x⇒y))∧(∼y⇒(∼y⇒∼x))≈x⇒y.The present paper focuses on the role played by the Nelson identity in the context of compatibly involutive commutative integral bounded residuated lattices. We present several characterisations of the identity (Nelson) in this setting, which variously permit us to comprehend its model-theoretic content from order-theoretic, syntactic, and congruence-theoretic perspectives. Notably, we show that a compatibly involutive commutative integral bounded residuated lattice A is a Nelson residuated lattice iff for all a, b∈ A, the congruence condition ΘA(0,a)=ΘA(0,b)andΘA(1,a)=ΘA(1,b)impliesa=bholds. This observation, together with others of the main results, opens the door to studying the characteristic property of Nelson residuated lattices (and hence Nelson’s constructive logic with strong negation) from a purely abstract perspective. |
| publishDate |
2018 |
| dc.date.none.fl_str_mv |
2018 2018-11-03 2018 2018-11-03 2024 2024-12-02 |
| dc.type.none.fl_str_mv |
journal article http://purl.org/coar/resource_type/c_6501 |
| dc.type.openaire.fl_str_mv |
info:eu-repo/semantics/article |
| format |
article |
| dc.identifier.none.fl_str_mv |
https://hdl.handle.net/20.500.14468/24645 |
| url |
https://hdl.handle.net/20.500.14468/24645 |
| dc.language.none.fl_str_mv |
Inglés eng |
| language_invalid_str_mv |
Inglés |
| language |
eng |
| dc.rights.none.fl_str_mv |
open access http://purl.org/coar/access_right/c_abf2 info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-nd/4.0/deed.es |
| rights_invalid_str_mv |
open access http://purl.org/coar/access_right/c_abf2 http://creativecommons.org/licenses/by-nc-nd/4.0/deed.es |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Springer Nature |
| publisher.none.fl_str_mv |
Springer Nature |
| dc.source.none.fl_str_mv |
reponame:e-spacio. Repositorio Institucional de la UNED instname:Universidad Nacional de Educación a Distancia |
| instname_str |
Universidad Nacional de Educación a Distancia |
| reponame_str |
e-spacio. Repositorio Institucional de la UNED |
| collection |
e-spacio. Repositorio Institucional de la UNED |
| repository.name.fl_str_mv |
|
| repository.mail.fl_str_mv |
|
| _version_ |
1869403343763275776 |
| score |
15,812429 |