In this paper we introduce both the syntax and the semantics of a formal language which has been designed to express multi-level syllogistic.
A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic / Ferro, A.; Omodeo, E.. - STAMPA. - 14070 LNCS:(2024), pp. 82-95. [10.1007/978-3-031-55248-9_4]
A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic
Omodeo E.
2024-01-01
Abstract
In this paper we introduce both the syntax and the semantics of a formal language which has been designed to express multi-level syllogistic.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FO79.pdf
Accesso chiuso
Tipologia:
Documento in Versione Editoriale
Licenza:
Copyright Editore
Dimensione
257.01 kB
Formato
Adobe PDF
|
257.01 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
