Translation of first order formulas into ground formulas via a completion theory

, &
Journal of Applied Logic 15:130-149 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2016.02.002

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

The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Editorial Board.[author unknown] - 2012 - Journal of Applied Non-Classical Logics 22 (4):ebi-ebi.
Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
Modal definability of first-order formulas with free variables and query answering.Stanislav Kikot & Evgeny Zolin - 2013 - Journal of Applied Logic 11 (2):190-216.
First order theory for literal‐paraconsistent and literal‐paracomplete matrices.Renato A. Lewin & Irene F. Mikenberg - 2010 - Mathematical Logic Quarterly 56 (4):425-433.
The Ground-Negative Fragment of First-Order Logic is $\Pi^p_2$-Complete.Andrei Voronkov - 1999 - Journal of Symbolic Logic 64 (3):984-990.
The ground-negative fragment of first-order logic is πp2-complete.Andrei Voronkov - 1999 - Journal of Symbolic Logic 64 (3):984 - 990.
A short biography of Luis Fariñas del Cerro.Pedro Cabalar, Martín Diéguez, Andreas Herzig & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (3):153-160.
Measuring Inconsistency in Some Logics with Modal Operators.John Grant - 2020 - Studia Logica 109 (3):581-605.
Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp. [REVIEW]Charles B. Cross & Donald Nute - 1997 - Journal of Symbolic Logic 62 (4):1487-1490.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,413,139)

6 months
22 (#129,165)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references