𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on decision procedures for identities

✍ Scribed by A. K. Austin

Book ID
112761230
Publisher
Springer
Year
1979
Tongue
English
Weight
233 KB
Volume
9
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on models of identities
A note on models of identities
✍ JΓ³zef Dudek πŸ“‚ Article πŸ“… 1988 πŸ› Springer 🌐 English βš– 56 KB
On decision procedures for sentential lo
On decision procedures for sentential logics
✍ Tomasz Skura πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 335 KB

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 t

A Note on the Rogers-Ramanujan identitie
A Note on the Rogers-Ramanujan identities
✍ Leonard Carlitz πŸ“‚ Article πŸ“… 1958 πŸ› John Wiley and Sons 🌐 English βš– 118 KB

By LEONARD CARLITZ in Durham (N. C.) (Eingegangen am 5.3. 1957) 1. The ROGERS-RAMANUJAK identities (for proof and references see HARDY [2, Chapter 61) respectively. As HARDY remarks, the proofs of the identities are rather artificial. The object of the present note is to present a variant of ROGERS