Exploring the Landscape of Relational Syllogistic Logics

September 03, 2018 · The Ethereal · 🏛 The Review of Symbolic Logic

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Alex Kruckman, Lawrence S. Moss arXiv ID 1809.00656 Category math.LO: Logic Cross-listed cs.CL, cs.LO Citations 4 Venue The Review of Symbolic Logic Last Checked 5 months ago
Abstract
This paper explores relational syllogistic logics, a family of logical systems related to reasoning about relations in extensions of the classical syllogistic. These are all decidable logical systems. We prove completeness theorems and complexity results for a natural subfamily of relational syllogistic logics, parametrized by constructors for terms and for sentences.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic