In this paper we thoroughly investigate several kinds of residuated ordered structures, connected with propositional logics. In particular we give ternary deduction terms for several classes of algebras, that are the equivalent algebraic semantics of deductive systems, coming from logics not necessarily satisfying the structural rules.
Agliano', P. (1998). Ternary deduction terms in residuated structures. ACTA SCIENTIARUM MATHEMATICARUM, 64(3-4), 397-429.
Ternary deduction terms in residuated structures
Agliano' Paolo
1998-01-01
Abstract
In this paper we thoroughly investigate several kinds of residuated ordered structures, connected with propositional logics. In particular we give ternary deduction terms for several classes of algebras, that are the equivalent algebraic semantics of deductive systems, coming from logics not necessarily satisfying the structural rules.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
64397429.pdf
accesso aperto
Tipologia:
PDF editoriale
Licenza:
PUBBLICO - Pubblico con Copyright
Dimensione
259.29 kB
Formato
Adobe PDF
|
259.29 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/1227916