๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Extending Montague's system: a three valued intensional logic

โœ Scribed by E. H. Alves; J. A. D. Guerzoni

Publisher
Springer Netherlands
Year
1990
Tongue
English
Weight
311 KB
Volume
49
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A two-valued logic for reasoning about d
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
โœ Beata Konikowska ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 807 KB

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by "consequence" operators. These operators correspond to the three "sensible" t

Performance of CMOS three-valued logic d
Performance of CMOS three-valued logic device (ternary inverter) at liquid nitrogen temperature
โœ A. Srivastava ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 374 KB

The performance of a CMOS three-valued logic device (ternary inverter) has been studied at liquid nitrogen temperature (77 K) in comparison with its room temperature (296 K) operation. It has been observed that performance improves at 77 K compared with room temperature behaviour. This improvement i