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
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.
