scientific article; zbMATH DE number 4193763

MaRDI QIDQ5202232zbMATH OpenFDO

Authors

Publication date 1989

zbMATH Keywords

closure operatorlogical extensionsnatural extensionPower Algebra

Mathematics Subject Classification ID

Finitary algebras (08A62) Algebraic independence; Gel'fond's method (11J85)

Recommendations

• Extensionality and logicality
• A natural extension of natural deduction
• Constructing natural extensions of propositional logics
• Naturalizing logic
• Naturalizing natural deduction
• scientific article; zbMATH DE number 3933036
• Natural Logic and Semantics
• scientific article; zbMATH DE number 609979
• A note on natural extensions in abstract algebraic logic
• Natural deduction and arbitrary objects

Cited in

(2)

• scientific article; zbMATH DE number 2016156 (Why is no real title available?)
• Naturality and definability II

This page was built for publication:

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