Using the Internal Logic of a Topos to Model Search Spaces for Problems

&
Logic Journal of the IGPL 15 (5-6):457-474 (2007)
  Copy   BIBTEX

Abstract

We present a structural model for heuristic search strategies for solving computational problems. The model is defined through the use of topos-theoretical tools and techniques, which provide an appropriate internal logic where objects of interest can be represented

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzm035

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Axioms and (counter)examples in synthetic domain theory.Jaap van Oosten & Alex K. Simpson - 2000 - Annals of Pure and Applied Logic 104 (1-3):233-278.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Model theory of measure spaces and probability logic.Rutger Kuyper & Sebastiaan A. Terwijn - 2013 - Review of Symbolic Logic 6 (3):367-393.
Connection tableau calculi with disjunctive constraints.Ortrun Ibens - 2002 - Studia Logica 70 (2):241 - 270.
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.
Compactness and normality in abstract logics.Xavier Caicedo - 1993 - Annals of Pure and Applied Logic 59 (1):33-43.
The Weak Choice Principle WISC may Fail in the Category of Sets.David Michael Roberts - 2015 - Studia Logica 103 (5):1005-1017.
Nested PLS.Toshiyasu Arai - 2011 - Archive for Mathematical Logic 50 (3-4):395-409.
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco - 2014 - Annals of Pure and Applied Logic 165 (2):409-427.
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.
The Carcinogenic Example.William Mitchell - 1997 - Logic Journal of the IGPL 5 (6):795-810.
Logic in Topoi: Functorial Semantics for High-Order Logic.Steven M. Awodey - 1997 - Dissertation, The University of Chicago
On different proof-search strategies for orthologic.Uwe Egly & Hans Tompits - 2003 - Studia Logica 73 (1):131 - 152.
Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity.C. J. Isham & J. Butterfield - 2000 - Foundations of Physics 30 (10):1707-1735.

Analytics

Added to PP
2015-02-04

Downloads
5 (#1,545,739)

6 months
1 (#1,478,500)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Fernando Amaral
Universidade de Brasília
Edward Haeusler
Pontifícia Universidade Católica do Rio de Janeiro

Citations of this work

Add more citations

References found in this work

No references found.

Add more references