𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Axiomatisation of Elgesem's Logic of Agency and Ability

✍ Scribed by Guido Governatori; Antonino Rotolo

Book ID
106452546
Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
311 KB
Volume
34
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An Axiomatisation of the Conditionals of
An Axiomatisation of the Conditionals of Post's Many Valued Logics
✍ Stan J. Surma πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 180 KB πŸ‘ 1 views

The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's (m, u)-conditionals and Post's negation, where rn is the number of truth values and u is the number of designated truth values (cf. [5]). The main feature of the technique which we employ in this proof generali