An arguable addition to the standard Deduction Theorems of first order theories

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.
9 pages; an HTML version is available at http://alixcomsi.com/An_arguable_addition.htm

Keywords

General Mathematics, 03B10

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/74302

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0502502
 http://arxiv.org/abs/math/0502502

Collections

arXiv