We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uniform Logic.

Standard Completeness for Uninorm-Based Logics / P. Baldi, A. Ciabattoni (PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC). - In: International Symposium on Multiple-Valued Logic[s.l] : IEEE Computer Society, 2015. - ISBN 978-1-4799-1777-8. - pp. 78-83 (( Intervento presentato al 45. convegno International Symposium on Multiple-Valued Logic, ISMVL 2015 tenutosi a University of Waterloo, Canada nel 2015 [10.1109/ISMVL.2015.20].

Standard Completeness for Uninorm-Based Logics

P. Baldi
Primo
;
2015

Abstract

We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uniform Logic.
density elimination; hypersequent; standard completeness; uninorm logic;
Settore INF/01 - Informatica
Settore M-FIL/02 - Logica e Filosofia della Scienza
Settore MAT/01 - Logica Matematica
Institute of Electrical and Electronics Engineers (IEEE)
IEEE Computer Society
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
Baldi, Ciabattoni - Standard Completeness for Uninorm-based logics.pdf

accesso aperto

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 156.81 kB
Formato Adobe PDF
156.81 kB Adobe PDF Visualizza/Apri
Standard_Completeness_for_Uninorm-Based_Logics.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 263.02 kB
Formato Adobe PDF
263.02 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

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/2434/875477
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 5
social impact