𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Understanding connectives

✍ Scribed by Evelyn Walker Katz; Sandor B. Brent


Book ID
117170903
Publisher
Elsevier Science
Year
1968
Weight
764 KB
Volume
7
Category
Article
ISSN
0022-5371

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Tsimshian Connectives
✍ John A. Dunn πŸ“‚ Article πŸ“… 1979 πŸ› University of Chicago Press 🌐 English βš– 1012 KB
PARTIALLY ORDERED CONNECTIVES
✍ Gabriel Sandu; Jouko VÀÀnΓ€nen πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 527 KB

## Abstract We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various

Complete Propositional Connectives
✍ Roger F. Wheeler πŸ“‚ Article πŸ“… 1961 πŸ› John Wiley and Sons 🌐 English βš– 646 KB