A constructive investigation of satisfiability

Annals of Pure and Applied Logic 163 (2):111-121 (2012)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2011.06.019
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,711
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Pretopologies and Completeness Proofs.Giovanni Sambin - 1995 - Journal of Symbolic Logic 60 (3):861-878.
Formal Zariski Topology: Positivity and Points.Peter Schuster - 2006 - Annals of Pure and Applied Logic 137 (1):317-359.
A Constructive Semantics for Non-Deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.
Two Variable First-Order Logic Over Ordered Domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
Satisfiability on Hypergraphs.Adam Kolany - 1993 - Studia Logica 52 (3):393-404.
Complexity of the Two-Variable Fragment with Counting Quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
Constructive Empiricism and Modal Nominalism.Monton Bradley & Fraassen Bas C. Van - 2003 - British Journal for the Philosophy of Science 54 (3):405 - 422.

Analytics

Added to PP index
2013-10-27

Total views
4 ( #1,012,840 of 2,328,399 )

Recent downloads (6 months)
1 ( #955,030 of 2,328,399 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature