Computing Minimal Axiomatizations in Godel Propositional Logic

DOI10.1093/logcom/exp054zbMath1247.03031OpenAlexW2153765600MaRDI QIDQ3097869

Ottavio M. D'Antona, Vincenzo Marra, Stefano Aguzzoli

Publication date: 10 November 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp054

zbMATH Keywords

root systemMV-algebraKripke semanticsGödel logicGödel algebra

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (2)

Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics ⋮ A note on minimal axiomatisations of some extensions of MTL

This page was built for publication: Computing Minimal Axiomatizations in Godel Propositional Logic