Suppose we are given a set Φ of m Boolean formulas with the information that e of these formulas are unconfirmed, while the actual set of unconfirmed formulas is not disclosed to us. Let us denote by Rest(Φ,e) the family of all subsets of Φ having m−e elements. We are interested in the problem whether a Boolean formula ω is a consequence of Ψ for each Ψ∈Rest(Φ,e). More generally, given for each i=1,…,h a set Φi of mi Boolean formulas and an integer 0≤ei
Faulty sets of Boolean formulas and Łukasiewicz logic
Claudia Picardi
2017-01-01
Abstract
Suppose we are given a set Φ of m Boolean formulas with the information that e of these formulas are unconfirmed, while the actual set of unconfirmed formulas is not disclosed to us. Let us denote by Rest(Φ,e) the family of all subsets of Φ having m−e elements. We are interested in the problem whether a Boolean formula ω is a consequence of Ψ for each Ψ∈Rest(Φ,e). More generally, given for each i=1,…,h a set Φi of mi Boolean formulas and an integer 0≤ei
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
JLC-MundiciPicardi.pdf
Accesso riservato
Descrizione: Articolo principale
Tipo di file:
PDF EDITORIALE
Dimensione
146.31 kB
Formato
Adobe PDF
|
146.31 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
2318_1730467-PostPrint.pdf
Accesso aperto
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
572.01 kB
Formato
Adobe PDF
|
572.01 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
