Computing Minimal Axiomatizations in Godel Propositional Logic
From MaRDI portal
Publication:3097869
DOI10.1093/logcom/exp054zbMath1247.03031MaRDI 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
Related Items
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