Gödel propositional logic is one of the major tnorm based fuzzy logics. Axiomatically, Gödel propositional logic G arises by extending intuitionistic propositional logic with the prelinearity axiom scheme ( → ψ) ∨ (ψ → ). In [9], Fiorino introduces a tableaux calculus yielding a decision procedure for the theoremhood problem of G that has space complexity O(n log n), where n is the length of the input formula. In this paper we provide a decision procedure that has deterministic space complexity O(n).
A linear space decision procedure for goedel propositional logic / S. Aguzzoli - In: Fuzzy Systems (FUZZ-IEEE), 2016 IEEE International Conference on[s.l] : IEEE, 2016. - ISBN 9781509006267. - pp. 194-200 (( convegno Conference on Fuzzy Systems tenutosi a Vancouver nel 2016 [10.1109/FUZZ-IEEE.2016.7737687].
A linear space decision procedure for goedel propositional logic
S. Aguzzoli
2016
Abstract
Gödel propositional logic is one of the major tnorm based fuzzy logics. Axiomatically, Gödel propositional logic G arises by extending intuitionistic propositional logic with the prelinearity axiom scheme ( → ψ) ∨ (ψ → ). In [9], Fiorino introduces a tableaux calculus yielding a decision procedure for the theoremhood problem of G that has space complexity O(n log n), where n is the length of the input formula. In this paper we provide a decision procedure that has deterministic space complexity O(n).File | Dimensione | Formato | |
---|---|---|---|
F-16415.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
226.22 kB
Formato
Adobe PDF
|
226.22 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.