Note of the full generalized models of the extensions of a logic

DOI10.4467/20842589RM.17.003.7141zbMATH Open1417.03304MaRDI QIDQ4609355FDOQ4609355

Authors: Hugo Albuquerque, Josep Maria Font, Ramon Jansana 

Publication date: 29 March 2018

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 859793
• A generalization of abstract model theory
• Constructing natural extensions of propositional logics
• scientific article; zbMATH DE number 3887648
• Filter Logics on ω

zbMATH Keywords

abstract algebraic logicgeneralized modelfull modelstrong versiontruth-equational logicSuszko filter

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract algebraic logic (03G27)

Cited In (1)

• On the closure properties of the class of full G-models of a deductive system

This page was built for publication: Note of the full generalized models of the extensions of a logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4609355)