The syntax and semantics of entailment in duality theory
Journal of Symbolic Logic 60 (4):1087-1114 (1995)
| Abstract | Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in the form of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesStephen Harris (1994). Gts and Interrogative Tableaux. Synthese 99 (3):329 - 343.
Gilad Ben-Avi & Yoad Winter (2004). Scope Dominance with Monotone Quantifiers Over Finite Domains. Journal of Logic, Language and Information 13 (4).
D. E. Over (1981). Game Theoretical Semantics and Entailment. Studia Logica 40 (1):67 - 74.
P. Baumann (2006). Information, Closure, and Knowledge: On Jäger's Objection to Dretske. Erkenntnis 64 (3):403 - 408.
Alex Lascarides & Nicholas Asher (1993). Temporal Interpretation, Discourse Relations and Commonsense Entailment. Linguistics and Philosophy 16 (5):437 - 493.
Thomas Lukasiewicz (2005). Nonmonotonic Probabilistic Reasoning Under Variable-Strength Inheritance with Overriding. Synthese 146 (1-2):153 - 169.
Lou Goble (2003). Neighborhoods for Entailment. Journal of Philosophical Logic 32 (5):483-529.
Katarina Britz, Johannes Heidema & Willem Labuschagne (2009). Semantics for Dual Preferential Entailment. Journal of Philosophical Logic 38 (4):433 - 446.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #275,053 of 549,700 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
