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
Editor
Springer
Fecha
2020
Abstract
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
Collections
- Untitled [4625]
Files in this item
Tamaño:
834.0
xmlui.dri2xhtml.METS-1.0.size-kilobytes
Formato:
Adobe PDF
Descripción:
Artículo principal