XML
<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:doc="http://www.lyncode.com/xoai" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><identifier>I19-R120-10915-137724</identifier><datestamp>2022-06-14T04:04:50Z</datestamp>
<dc:identifier>http://sedici.unlp.edu.ar/handle/10915/137724</dc:identifier>
<dc:identifier>issn:0039-3215</dc:identifier>
<dc:identifier>issn:1572-8730</dc:identifier>
<dc:title>On Some Compatible Operations on Heyting Algebras</dc:title>
<dc:creator>Ertola Biraben, Rodolfo Cristian</dc:creator>
<dc:creator>San Martín, Hernán Javier</dc:creator>
<dc:date>2011</dc:date>
<dc:date>2022-06-13T13:20:26Z</dc:date>
<dc:language>en</dc:language>
<dc:subject>Matemática</dc:subject>
<dc:subject>Intuitionistic logic</dc:subject>
<dc:subject>Heyting algebra</dc:subject>
<dc:subject>Compatible operation</dc:subject>
<dc:description>We study some operations that may be defined using the minimum operator in the context of a Heyting algebra. Our motivation comes from the fact that 1) already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smetanich and the operation G by Gabbay may be defined in this way, though almost never explicitly noted in the literature; 2) defining operations in this way is equivalent, from a logical point of view, to two clauses, one corresponding to an introduction rule and the other to an elimination rule, thus providing a manageable way to deal with these operations. Our main result is negative: all operations that arise turn out to be Heyting terms or the mentioned already known operations or operations interdefinable with them. However, it should be noted that some of the operations that arise may exist even if the known operations do not. We also study the extension of Priestley duality to Heyting algebras enriched with the new operations.</dc:description>
<dc:description>Facultad de Ciencias Exactas</dc:description>
<dc:description>Facultad de Humanidades y Ciencias de la Educación</dc:description>
<dc:type>Articulo</dc:type>
<dc:type>Articulo</dc:type>
<dc:rights>http://creativecommons.org/licenses/by-nc-sa/4.0/</dc:rights>
<dc:rights>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)</dc:rights>
<dc:format>application/pdf</dc:format>
<dc:format>331-345</dc:format>
</oai_dc:dc>
Datos convertidos
{
"id": "I19-R120-10915-137724",
"record_format": "dspace",
"spelling": [
"I19-R120-10915-1377242022-06-14T04:04:50Z http:\/\/sedici.unlp.edu.ar\/handle\/10915\/137724 issn:0039-3215 issn:1572-8730 On Some Compatible Operations on Heyting Algebras Ertola Biraben, Rodolfo Cristian San Mart\u00edn, Hern\u00e1n Javier 2011 2022-06-13T13:20:26Z en Matem\u00e1tica Intuitionistic logic Heyting algebra Compatible operation We study some operations that may be defined using the minimum operator in the context of a Heyting algebra. Our motivation comes from the fact that 1) already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smetanich and the operation G by Gabbay may be defined in this way, though almost never explicitly noted in the literature; 2) defining operations in this way is equivalent, from a logical point of view, to two clauses, one corresponding to an introduction rule and the other to an elimination rule, thus providing a manageable way to deal with these operations. Our main result is negative: all operations that arise turn out to be Heyting terms or the mentioned already known operations or operations interdefinable with them. However, it should be noted that some of the operations that arise may exist even if the known operations do not. We also study the extension of Priestley duality to Heyting algebras enriched with the new operations. Facultad de Ciencias Exactas Facultad de Humanidades y Ciencias de la Educaci\u00f3n Articulo Articulo http:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application\/pdf 331-345"
],
"institution": [
"Universidad Nacional de La Plata"
],
"institution_str": "I-19",
"repository_str": "R-120",
"collection": [
"SEDICI (UNLP)"
],
"language": [
"Ingl\u00e9s"
],
"topic": [
"Matem\u00e1tica",
"Intuitionistic logic",
"Heyting algebra",
"Compatible operation"
],
"spellingShingle": [
"Matem\u00e1tica",
"Intuitionistic logic",
"Heyting algebra",
"Compatible operation",
"Ertola Biraben, Rodolfo Cristian",
"San Mart\u00edn, Hern\u00e1n Javier",
"On Some Compatible Operations on Heyting Algebras"
],
"topic_facet": [
"Matem\u00e1tica",
"Intuitionistic logic",
"Heyting algebra",
"Compatible operation"
],
"description": "We study some operations that may be defined using the minimum operator in the context of a Heyting algebra. Our motivation comes from the fact that 1) already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smetanich and the operation G by Gabbay may be defined in this way, though almost never explicitly noted in the literature; 2) defining operations in this way is equivalent, from a logical point of view, to two clauses, one corresponding to an introduction rule and the other to an elimination rule, thus providing a manageable way to deal with these operations. Our main result is negative: all operations that arise turn out to be Heyting terms or the mentioned already known operations or operations interdefinable with them. However, it should be noted that some of the operations that arise may exist even if the known operations do not. We also study the extension of Priestley duality to Heyting algebras enriched with the new operations.",
"format": [
"Articulo",
"Articulo"
],
"author": [
"Ertola Biraben, Rodolfo Cristian",
"San Mart\u00edn, Hern\u00e1n Javier"
],
"author_facet": [
"Ertola Biraben, Rodolfo Cristian",
"San Mart\u00edn, Hern\u00e1n Javier"
],
"author_sort": "Ertola Biraben, Rodolfo Cristian",
"title": "On Some Compatible Operations on Heyting Algebras",
"title_short": "On Some Compatible Operations on Heyting Algebras",
"title_full": "On Some Compatible Operations on Heyting Algebras",
"title_fullStr": "On Some Compatible Operations on Heyting Algebras",
"title_full_unstemmed": "On Some Compatible Operations on Heyting Algebras",
"title_sort": "on some compatible operations on heyting algebras",
"publishDate": [
"2011"
],
"url": [
"http:\/\/sedici.unlp.edu.ar\/handle\/10915\/137724"
],
"work_keys_str_mv": [
"AT ertolabirabenrodolfocristian onsomecompatibleoperationsonheytingalgebras",
"AT sanmartinhernanjavier onsomecompatibleoperationsonheytingalgebras"
],
"_version_": 1736064050362580992
}