Computing finite models by reduction to function-free clause logic

, , &
Journal of Applied Logic 7 (1):58-74 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.07.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

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

Decision procedures and model building in equational clause logic.C. Fermuller & A. Leitsch - 1998 - Logic Journal of the IGPL 6 (1):17-41.
Forking in Finite Models.Tapani Hyttinen - 2015 - Notre Dame Journal of Formal Logic 56 (2):307-320.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free.Murdoch J. Gabbay - 2012 - Journal of Symbolic Logic 77 (3):828-852.
On representing concepts in finite models.Marcin Mostowski - 2001 - Mathematical Logic Quarterly 47 (4):513-523.
Denoting and Defining: A Study in Free Logic.Robert Charles Dwyer - 1988 - Dissertation, University of California, Irvine
Arithmetic of divisibility in finite models.A. E. Wasilewska & M. Mostowski - 2004 - Mathematical Logic Quarterly 50 (2):169.
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.
Counting finite models.Alan R. Woods - 1997 - Journal of Symbolic Logic 62 (3):925-949.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut‐free logic.Arief Daynes - 2006 - Mathematical Logic Quarterly 52 (6):540-554.
Inconsistent models of arithmetic part I: Finite models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.
Women and the social construction of the computing culture: Evolving new forms of computing. [REVIEW]Joan Truckenbrod - 1993 - AI and Society 7 (4):345-357.
Computing in Horn Clause Theories.Peter Padawitz - 1988 - Springer.
Computing coproducts of finitely presented Gödel algebras.Ottavio M. D’Antona & Vincenzo Marra - 2006 - Annals of Pure and Applied Logic 142 (1):202-211.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,378,468)

6 months
4 (#779,417)

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

Logical Foundations of Artificial Intelligence.Michael R. Genesereth & Nils J. Nilsson - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.

Add more references