Friendliness for logicians

Makinson, D. C. (2005). Friendliness for logicians. In Artemov, S., Barringer, H., d'Avila Garcez, A. S., Lamb, L. C. & Woods, J. (Eds.), We Will Show Them! Essays in Honour of Dov Gabbay (pp. 259-292). College Publications.
Copy

We define and examine a notion of logical friendliness, which is a broadening of the familiar notion of classical consequence. The concept is studied first in its simplest form, and then in a syntax-independent version, which we call sympathy. We also draw attention to the surprising number of familiar notions and operations with which it makes contact, providing a new light in which they may be seen.

Full text not available from this repository.

Export as

EndNote BibTeX Reference Manager Refer Atom Dublin Core JSON Multiline CSV
Export