Elementary Amalgamation and Joint Embedding Property for Intermediate Logics

DOI10.1093/JIGPAL/JZN022MaRDI QIDQ5504121zbMATH OpenOpenAlexFDO

Authors Seyed Mohammad Bagheri, M. Pourmahdian

Publication date 21 January 2009

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzn022

zbMATH Keywords

abstract elementary classalmost-classical logicamalgamation propertyintermediate logicjoint embedding propertyKripke modelMorleyizationultraproduct

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Embeddings, amalgamation and elementary equivalence: the representation of compact logics
• Logical matrices and the amalgamation property
• Compactness=JEP in any logic
• scientific article; zbMATH DE number 1202113
• scientific article; zbMATH DE number 3837996

Cited in

(3)

• scientific article; zbMATH DE number 5557947 (Why is no real title available?)
• Embeddings, amalgamation and elementary equivalence: the representation of compact logics
• Deciding atomicity of subword-closed languages

This page was built for publication: Elementary Amalgamation and Joint Embedding Property for Intermediate Logics

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