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

A logical condition for the redescription of actions in terms of their consequences?

โœ Scribed by Harold J. Allen

Publisher
Springer
Year
1967
Tongue
English
Weight
160 KB
Volume
1
Category
Article
ISSN
0022-5363

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