Matches in SemOpenAlex for { <https://semopenalex.org/work/W149351330> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- W149351330 abstract "LA TESIS DOCTORAL CONTRIBUTIONS TO THE MODEL THEORY OFEQUALITY-FREE LOGIC ES UN ESTUDIO DE LA TEORIA DEMODELOS DE LA LOGICA SIN IDENTIDAD, SE ESTUDIA ELFRAGMENTO DE LA LOGICA DE PRIMER ORDEN COMPUESTO POR LASFORMULAS QUE NO TIENEN EL SIMBOLO DE IDENTIDAD. LOSCONCEPTOS FUNDAMENTALES ESTUDIADOS SON EL DE CONGRUENCIADE LEIBNIZ Y EL DE RELACION DE PARENTESCO (RELATIVERELATION). EL INTERES ACTUAL DE ESTAS NOCIONES PROCEDEDE LOS TRABAJOS DE W. BLOK Y DE D. PIGOZZI.HEMOS ESTUDIADO ESTA LOGICA DESDE EL PUNTO DE VISTA DE LATEORIA DE MODELOS CLASICA, DESARROLLANDO TECNICAS USUALESEN TEORIA DE MODELOS: METODO DE LOS DIAGRAMAS, SISTEMASDE BACK-AND-FORTH, ETC. CON EL FIN DE OBTENERCARACTERIZACIONES ALGEBRAICAS DE LA EQUIVALENCIAELEMENTAL EN ESTA LOGICA Y TEOREMAS DE PRESERVACION. UNADE LAS CONTRIBUCIONES MAS IMPORTANTES DE ESTE TRABAJO ESLA CARACTERIZACION DE LOS ENUNCIADOS DE PRIMER ORDEN QUESON LOGICAMENTE EQUIVALENTES A UN ENUNCIADO SIN IDENTIDAD.HEMOS INTRODUCIDO LAS NOCIONES DE MODELO SATURADO,UNIVERSAL Y HOMOGENEO SIN IDENTIDAD.HEMOS ESTUDIADO SUS PROPIEDADES Y LAS HEMOS COMPARADO CONLAS DE LAS NOCIONES ANALOGAS EN LOGICA DE PRIMER ORDENCON IDENTIDAD. FINALMENTE HEMOS ESTUDIADO EL FRAGMENTOUNIVERSAL DE HORN SIN IDENTIDAD DE LOS LENGUAJESINFINITARIOS , CON Y CARDINALES INFINITOSREGULARES. HEMOS OBTENIDO RESULTADOS DE CARACTERIZACION YDE PRESERVACION.USANDO ESTOS RESULTADOS HEMOS DEMOSTRADO TEOREMAS DEINTERPOLACION Y DEFINIBILIDAD PARA ESTE FRAGMENTO." @default.
- W149351330 created "2016-06-24" @default.
- W149351330 creator A5022639619 @default.
- W149351330 date "1996-01-01" @default.
- W149351330 modified "2023-09-26" @default.
- W149351330 title "Contributions to the model theory of equality-free logic" @default.
- W149351330 hasPublicationYear "1996" @default.
- W149351330 type Work @default.
- W149351330 sameAs 149351330 @default.
- W149351330 citedByCount "9" @default.
- W149351330 countsByYear W1493513302018 @default.
- W149351330 crossrefType "journal-article" @default.
- W149351330 hasAuthorship W149351330A5022639619 @default.
- W149351330 hasConcept C138885662 @default.
- W149351330 hasConcept C15708023 @default.
- W149351330 hasConcept C33923547 @default.
- W149351330 hasConceptScore W149351330C138885662 @default.
- W149351330 hasConceptScore W149351330C15708023 @default.
- W149351330 hasConceptScore W149351330C33923547 @default.
- W149351330 hasLocation W1493513301 @default.
- W149351330 hasOpenAccess W149351330 @default.
- W149351330 hasPrimaryLocation W1493513301 @default.
- W149351330 hasRelatedWork W141530087 @default.
- W149351330 hasRelatedWork W1518264298 @default.
- W149351330 hasRelatedWork W1572222062 @default.
- W149351330 hasRelatedWork W2004384679 @default.
- W149351330 hasRelatedWork W2006385373 @default.
- W149351330 hasRelatedWork W2018213792 @default.
- W149351330 hasRelatedWork W2095367681 @default.
- W149351330 hasRelatedWork W2253467077 @default.
- W149351330 hasRelatedWork W98985150 @default.
- W149351330 isParatext "false" @default.
- W149351330 isRetracted "false" @default.
- W149351330 magId "149351330" @default.
- W149351330 workType "article" @default.