The Existential Fragment of Third Order Logic and Third Order Relational Machines

We introduce a new sub logic of third order logic (TO), the logic TOϖ, as a semantic restriction of TO. We focus on the existential fragment of TOϖ which we denote Σ²ϖ , and we study its relational complexity by introducing a variation of the non deterministic relational machine, which we denote 3-...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Arroyuelo, Jorge, Turull Torres, José María
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2014
Materias:
Ciencias Informáticas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/42242
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-42242
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
spellingShingle Ciencias Informáticas
Arroyuelo, Jorge
Turull Torres, José María
The Existential Fragment of Third Order Logic and Third Order Relational Machines
topic_facet Ciencias Informáticas
description We introduce a new sub logic of third order logic (TO), the logic TOϖ, as a semantic restriction of TO. We focus on the existential fragment of TOϖ which we denote Σ²ϖ , and we study its relational complexity by introducing a variation of the non deterministic relational machine, which we denote 3-NRM, where we allow third order relations in the relational store of the machine.We then prove that Σ²ϖ characterizes exactly NEXPTIME3,r
format Objeto de conferencia
Objeto de conferencia
author Arroyuelo, Jorge
Turull Torres, José María
author_facet Arroyuelo, Jorge
Turull Torres, José María
author_sort Arroyuelo, Jorge
title The Existential Fragment of Third Order Logic and Third Order Relational Machines
title_short The Existential Fragment of Third Order Logic and Third Order Relational Machines
title_full The Existential Fragment of Third Order Logic and Third Order Relational Machines
title_fullStr The Existential Fragment of Third Order Logic and Third Order Relational Machines
title_full_unstemmed The Existential Fragment of Third Order Logic and Third Order Relational Machines
title_sort existential fragment of third order logic and third order relational machines
publishDate 2014
url http://sedici.unlp.edu.ar/handle/10915/42242
work_keys_str_mv AT arroyuelojorge theexistentialfragmentofthirdorderlogicandthirdorderrelationalmachines
AT turulltorresjosemaria theexistentialfragmentofthirdorderlogicandthirdorderrelationalmachines
AT arroyuelojorge existentialfragmentofthirdorderlogicandthirdorderrelationalmachines
AT turulltorresjosemaria existentialfragmentofthirdorderlogicandthirdorderrelationalmachines
bdutipo_str Repositorios
_version_ 1764820473451905025

Ejemplares similares