Equivalence for the G 3 ′ -stable models semantics

, &
Journal of Applied Logic 8 (1):82-96 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2009.12.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An axiomatic approach to CG′3 logic.Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2020 - Logic Journal of the IGPL 28 (6):1218-1232.
Review: Jose Luis Balcazar, Joseph Diaz, Joaquim Gabarro, Structural Complexity I; Jose Luis Balcazar, Josep Diaz, Joaquim Gabarro, Structural Complexity II. [REVIEW]Eric Allender - 1994 - Journal of Symbolic Logic 59 (4):1436-1437.
José Luis Turina. Retrato. Director: José Luis Temes.Pedro Machado de Castro - 2008 - Critica 58 (956):92.
Las ciencias médicas básicas en la Valencia del siglo XIX. José M. López Piñero, María José Báguena Cervellera, José Luis Barona Vilar, José Luis Fresquet Febrer, María Luz López Terrada, José Pardo Tomás, Vicente L. Salavert Fabiani. [REVIEW]Thomas F. Glick - 1989 - Isis 80 (2):328-329.
Las ciencias médicas básicas en la Valencia del siglo XIX by José M. López Piñero; María José Báguena Cervellera; José Luis Barona Vilar; José Luis Fresquet Febrer; María Luz López Terrada; José Pardo Tomás; Vicente L. Salavert Fabiani. [REVIEW]Thomas Glick - 1989 - Isis 80:328-329.
ESPINEL, José Luis, La Eucaristia del Nuevo TestamentoESPINEL, José Luis, La Eucaristia del Nuevo Testamento.René-Michel Roberge - 1983 - Laval Théologique et Philosophique 39 (1):118-118.
The cognitive neuroscience of primitive self-consciousness.Jose Luis Bermudez - 2000 - Psycoloquy 11 (35).
La Filosofía Del Trapero. José Luis Pardo, Nunca Fue Tan Hermosa La BasuraJunkman's Philosophy. José Luis Pardo, Nunca Fue Tan Hermosa La Basura. [REVIEW]Marina Muñoz - 2011 - Laguna 29.
Reseña de Bentham, Jeremy. Sobre El Homoerotismo. Tres Ensayos Inéditos (de Las Irregularidades Sexuales. Sexto. Idea General de […] No Pablo, Sino Jesús (Traducción de José Luis Tasset Y Francisco Vázquez García; Introducción de José Luis Tasset; Epílogo de Francisco Vázquez García). Pamplona, Laetoli, 2021. 260 Págs. Isbn: 978-84-121856-5-2. [REVIEW]Elisabet F. Gutiérrez - 2022 - Télos 24 (1-2):1-6.
Palabras pronunciadas por José Gómez Caffarena en el funeral de José Luis L. Aranguren.José Caffarena - 1997 - Isegoría 15:323-325.

Analytics

Added to PP
2016-06-30

Downloads
18 (#828,658)

6 months
2 (#1,448,741)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.

View all 6 references / Add more references