ImpactU - Detalle del Producto

Fundadores:

Producto desarrollado por:

@colav
Contacto

ImpactU:

Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación

Información:

ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia

A formal system for the non-theorems of the propositional calculus.

Acceso Abierto

Idioma: Inglés

Publicado: 01/01/1978

APC (est): No disponible

Abstract:

Axioms and rulesWe assume that the only connectives are ~ and ^>. P> q> Pu p2,denote atomic formulae, a, β, y, . . .denote arbitrary formulae.We define P(a) = {p\p occurs

Tópico:

Logic, Reasoning, and Knowledge

Citaciones:

Citaciones por año:

Altmétricas:

Información de la Fuente:

FuenteNotre Dame Journal of Formal Logic	Cuartil año de publicaciónNo disponible	Volumen19
Issue1	Páginas147 - 151	pISSNNo disponible
ISSN1939-0726	Perfil OpenAlexhttps://openalex.org/S78544662

Enlaces e Identificadores:

Scholar citations URL	https://scholar.google.com/scholar?cites=15990943558289393111&as_sdt=2005&sciodt=0,5&hl=en	Scholar URL	https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3A1wUpT3E-690J%3Ascholar.google.com&btnG=	Doi URL	https://doi.org/10.1305/ndjfl/1093888218
Openalex URL	https://openalex.org/W2067706159	Open_access URL	https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-19/issue-1/A-formal-system-for-the-non-theorems-of-the-propositional/10.1305/ndjfl/1093888218.pdf	Pdf URL	https://math.uniandes.edu.co/archivos/publicaciones/Aformalsystemforthenontheoremsofthepropositionalcalculus.pdf

Artículo de revista