A constructive investigation of satisfiability

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.019

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,641

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

Constructive Ackermann's interpretation.Hanul Jeon - 2022 - Annals of Pure and Applied Logic 173 (5):103086.
Constructive toposes with countable sums as models of constructive set theory.Alex Simpson & Thomas Streicher - 2012 - Annals of Pure and Applied Logic 163 (10):1419-1436.
A constructive logic behind the catch and throw mechanism.Hiroshi Nakano - 1994 - Annals of Pure and Applied Logic 69 (2-3):269-301.
Constructive characterizations of bar subsets.Silvio Valentini - 2007 - Annals of Pure and Applied Logic 145 (3):368-378.
Compactness in constructive analysis revisited.Christoph Kreitz & Klaus Weihrauch - 1987 - Annals of Pure and Applied Logic 36:29-38.
A constructive version of Tarski's geometry.Michael Beeson - 2015 - Annals of Pure and Applied Logic 166 (11):1199-1273.
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.
Constructive strong regularity and the extension property of a compactification.Giovanni Curi - 2023 - Annals of Pure and Applied Logic 174 (1):103154.
A constructive consistency proof of a fragment of set theory.Jon Pearce - 1984 - Annals of Pure and Applied Logic 27 (1):25-62.
A constructive manifestation of the Kleene–Kreisel continuous functionals.Martín Escardó & Chuangjie Xu - 2016 - Annals of Pure and Applied Logic 167 (9):770-793.

Analytics

Added to PP
2013-10-27

Downloads
32 (#781,190)

6 months
9 (#446,864)

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

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-3):317-359.
A constructive semantics for non-deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.

Add more references