𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the logic of design

✍ Scribed by William Fawcett

Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
407 KB
Volume
8
Category
Article
ISSN
0142-694X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on Grzegorczyk's logic
A note on Grzegorczyk's logic
✍ Emil JeΕ™Γ‘bek πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 71 KB

## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively

On the logic of design
On the logic of design
✍ Y. Zeng; G.D. Cheng πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 444 KB
A note on dual-intuitionistic logic
A note on dual-intuitionistic logic
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 91 KB πŸ‘ 1 views

## Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N^βˆ’^.

A Note on Pavelka's Fuzzy Logic
A Note on Pavelka's Fuzzy Logic
✍ Esko Turunen πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 108 KB πŸ‘ 1 views
A note on non-monotonic modal logic
A note on non-monotonic modal logic
✍ Robert Stalnaker πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 832 KB

This paper, which began as a comment on a talk by Drew McDermott, 1 was completed in the summer of 1980. It circulated in typescript, but was not published at the time. A lot has happened in the study of nonmonotonic reasoning since that time, and the paper is now quite dated, but it is being publis