An axiomatic approach to maintaining the consistency of a hypermedia information system based on the SEM-HP model

, , &
Logic Journal of the IGPL 22 (6):1045-1074 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Metaphor in Use: Context, Culture, and Communication edited by F. MacArthur, J.-L. Oncins-Martínez, M. Sánchez-García and A. María Piquer-Píriz. [REVIEW]Luciane Corrêa Ferreira - 2016 - Metaphor and Symbol 31 (2):126-130.
The subformula property of natural deduction derivations and analytic cuts.Mirjana Borisavljević - forthcoming - Logic Journal of the IGPL.
Stephen H. Cutcliffe, Steven L. Goldman, Manuel Medina, & José Sanmartin, New Worlds, New Technologies, New Issues. [REVIEW]Richard Deitrich - 1993 - Philosophy in Review 13 (5):220-222.
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy.Nerio Borges & Edwin Pin - 2019 - Logic Journal of the IGPL 27 (6):895-909.
Natural deduction and semantic models of justification logic in the proof assistant Coq.Jesús Mauricio Andrade Guzmán & Francisco Hernández Quiroz - forthcoming - Logic Journal of the IGPL.
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.Linh Nguyen - 2008 - Logic Journal of the IGPL 16 (2):175-193.
Euclidean hierarchy in modal logic.Johan van Benthem, Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75 (3):327-344.
Intermediate logics with the same disjunctionless fragment as intuitionistic logic.Plerluigi Minari - 1986 - Studia Logica 45 (2):207 - 222.
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
Vida y técnica en el renacimiento: Manuscrito que escribió, en el siglo XVI, Francisco Lobato vecino de Medina del Campo. Francisco Lobato, Nicolás García Tapia, José A. García-Diego.Thomas F. Glick - 1988 - Isis 79 (4):729-730.

Analytics

Added to PP
2016-06-30

Downloads
17 (#896,762)

6 months
3 (#1,046,015)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicolás Medina
Universidad De San Buenaventura

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references