Compartir
Título
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łukasiewicz’s 3-Valued Logic Ł3
Autor
Facultad/Centro
Área de conocimiento
Título de la revista
Journal of Logic, Language and Information
Editorial
Springer
Fecha
2020
Resumen
We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova (Rep Math Log 47:173–182, 2012).
Materia
Palabras clave
Peer review
SI
ID proyecto
- FFI2017-82878-P
URI
DOI
Aparece en las colecciones
- Artículos [4556]
Ficheros en el ítem
Tamaño:
834.0
xmlui.dri2xhtml.METS-1.0.size-kilobytes
Formato:
Adobe PDF
Descripción:
Artículo principal