A note of the full generalized models of the extensions of a logic
From MaRDI portal
Publication:4609355
DOI10.4467/20842589RM.17.003.7141zbMath1417.03304MaRDI QIDQ4609355
Josep Maria Font, Hugo Albuquerque, Ramon Jansana
Publication date: 29 March 2018
Published in: Reports on Mathematical Logic (Search for Journal in Brave)
abstract algebraic logicgeneralized modelfull modelstrong versiontruth-equational logicSuszko filter