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

DOI10.4467/20842589RM.17.003.7141MaRDI QIDQ4609355zbMATH OpenFDO

Authors Hugo Albuquerque, Josep Maria Font, Ramon Jansana

Publication date 29 March 2018

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

Full work available at URL https://doi.org/10.4467/20842589RM.17.003.7141

zbMATH Keywords

abstract algebraic logicgeneralized modelfull modelstrong versiontruth-equational logicSuszko filter

Mathematics Subject Classification ID

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

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 ω

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)