𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Least fixed points in grzegorczyk's logic and in the intuitionistic propositional logic

✍ Scribed by S. I. Mardaev

Publisher
Springer US
Year
1993
Tongue
English
Weight
637 KB
Volume
32
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Fixed points in the propositional nonmon
Fixed points in the propositional nonmonotonic logic
✍ Grigory F. Shvarts πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 317 KB

We give an explicit description of fixed points for propositional theories in the nonmonotonic logic of McDermott and Doyle. Using this description we refute two claims from McDermott and Doyle's original paper.