2 research outputs found
Una jerarqu铆a de l贸gicas terministas
La combinaci贸n de l贸gicas se realiza t铆picamente entre sistemas fregeanos-tarskianos-kripkeanos, pero dado que la l贸gica no necesita estar restringida a esta visi贸n heredada, en este trabajo presentamos una jerarqu铆a de l贸gicas Sommersianas con especial 茅nfasis en l贸gicas sommersianas no-normales