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:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
