A non-classical logical approach to social software

Baskent, Can ORCID logoORCID: https://orcid.org/0000-0001-6229-8699 (2017) A non-classical logical approach to social software. In: Rohit Parikh on Logic, Language and Society. Baskent, Can ORCID logoORCID: https://orcid.org/0000-0001-6229-8699, Moss, Lawrance S. and Ramanujam, Ramaswamy, eds. Outstanding Contributions to Logic, 11 . Springer, pp. 91-109. ISBN 9783319478425, pbk-ISBN 9783319838380, e-ISBN 9783319478432. [Book Section] (doi:10.1007/978-3-319-47843-2_6)

Abstract

The term social software was coined by Rohit Parikh in 2002. Social software can be viewed as a research program which studies the construction and verification of social procedures by using tools in logic and computer science. However, to the best of my knowledge, social software has not been considered from a non-classical logical perspective. In this paper, I argue how non-classical logical approaches can enrich, broaden and support the agenda of social software.

Item Type: Book Section
Theme:
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 35909
Useful Links:
Depositing User: Can Baskent
Date Deposited: 16 Sep 2022 08:09
Last Modified: 22 Sep 2022 17:17
URI: https://eprints.mdx.ac.uk/id/eprint/35909

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
0Hits

Additional statistics are available via IRStats2.