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).
Settore MAT/01 - Logica Matematica
Settore INF/01 - Informatica
2016
IEEE
Book Part (author)
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/445203
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact