A Non-classical Logical Approach to Social Software

DOI10.1007/978-3-319-47843-2_6zbMath1437.03115OpenAlexW2592923942MaRDI QIDQ3299837

Can Başkent

Publication date: 27 July 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47843-2_6

zbMATH Keywords

non-classical logicsparaconsistent logicsocial software

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Paraconsistent logics (03B53)

Related Items (1)

Society semantics and the logic way to collective intelligence

Cites Work

• Handbook of philosophical logic. Vol. 8
• Games as formal tools versus games as explanations in logic and science
• Intuitive semantics for first-degree entailments and `coupled trees'
• The dialogical approach to paraconsistency
• Social software
• The logic of knowledge based obligation
• Logical Pluralism
• LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS
• Epistemic Reasoning in Life and Literature
• The Semantics of First Degree Entailment
• Unnamed Item
• Unnamed Item

This page was built for publication: A Non-classical Logical Approach to Social Software