Journal of Philosophical Logic 34 (1):81 - 95 (2005)

Authors
Gary Hardegree
University of Massachusetts, Amherst
Abstract
This paper uses the notion of Galois-connection to examine the relation between valuation-spaces and logics. Every valuation-space gives rise to a logic, and every logic gives rise to a valuation space, where the resulting pair of functions form a Galois-connection, and the composite functions are closure-operators. A valuation-space is said to be complete precisely if it is Galois-closed. Two theorems are proven. A logic is complete if and only if it is reflexive and transitive. A valuation-space is complete if and only if it is closed under formation of super-valuations.
Keywords completeness  Galois-connection  logic  super-valuation  valuation-space
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-004-6302-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,041
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
What is a Non-Truth-Functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.

View all 11 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
67 ( #148,873 of 2,410,889 )

Recent downloads (6 months)
5 ( #149,477 of 2,410,889 )

How can I increase my downloads?

Downloads

My notes