𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On decision procedures for sentential logics

✍ Scribed by Tomasz Skura

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
335 KB
Volume
50
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

hi Section 2 I give a criterion of decidability that can be applied to logics (i.e. Tazsld consequence operators) without the finite model property. In Section 3 I study Lukasiewicz-style refutation procedures as a method of obtaining decidability results.This method also proves to be more general than Harrop's criterion.

πŸ“œ SIMILAR VOLUMES

Intra-sentential context effects on the
Intra-sentential context effects on the interpretation of logical metonymy
✍ Mirella Lapata; Frank Keller; Christoph Scheepers πŸ“‚ Article πŸ“… 2003 πŸ› Wiley (Blackwell Publishing) 🌐 English βš– 139 KB

Verbs such as enjoy in the student enjoyed the book exhibit logical metonymy: enjoy is interpreted as enjoy reading. Theoretical work [Computational Linguistics 17 (4) (1991) 409; The Generative Lexicon, MIT Press, Cambridge, MA, 1995] predicts that this interpretation can be influenced by intra-sen