Aristotelian Assertoric Syllogistic, 2022, p.1-11
2022
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- Formalizations of AAS
- Ist Teil von
- Aristotelian Assertoric Syllogistic, 2022, p.1-11
- Ort / Verlag
- Switzerland: Springer International Publishing AG
- Erscheinungsjahr
- 2022
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- Four (monadic first order, sentential, dyadic first order, and natural deduction) formalizations of AAS are presented, their syntax and syntactical interrelationships are discussed.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 3030873404, 9783030873400ISSN: 2211-4548eISSN: 2211-4556DOI: 10.1007/978-3-030-87341-7_1Titel-ID: cdi_springer_books_10_1007_978_3_030_87341_7_1
- Format
- –