A general deduction theorem.
Salvatore Guccione; Roberto Tortora
Stochastica (1980)
- Volume: 4, Issue: 3, page 189-199
- ISSN: 0210-7821
Access Full Article
top
Abstract
topHow to cite
topGuccione, Salvatore, and Tortora, Roberto. "A general deduction theorem.." Stochastica 4.3 (1980): 189-199. <http://eudml.org/doc/38971>.
@article{Guccione1980,
abstract = {In this paper we present a very general deduction theorem which -based upon a uniform notion of proof from hypotheses- holds for a very large class of logical systems. Most of the known results for classical and modal logics, as well as new results, are immediate corollaries of this theorem.},
author = {Guccione, Salvatore, Tortora, Roberto},
journal = {Stochastica},
keywords = {Teorema de deducción; Lógica matemática; Lógica modal; Sistemas lógicos de Lewis},
language = {eng},
number = {3},
pages = {189-199},
title = {A general deduction theorem.},
url = {http://eudml.org/doc/38971},
volume = {4},
year = {1980},
}
TY - JOUR
AU - Guccione, Salvatore
AU - Tortora, Roberto
TI - A general deduction theorem.
JO - Stochastica
PY - 1980
VL - 4
IS - 3
SP - 189
EP - 199
AB - In this paper we present a very general deduction theorem which -based upon a uniform notion of proof from hypotheses- holds for a very large class of logical systems. Most of the known results for classical and modal logics, as well as new results, are immediate corollaries of this theorem.
LA - eng
KW - Teorema de deducción; Lógica matemática; Lógica modal; Sistemas lógicos de Lewis
UR - http://eudml.org/doc/38971
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.