Proving interpolation for conditional equational logic, using functions to represent conditionals

DOI10.1016/J.APAL.2026.103763MaRDI QIDQ7249411zbMATH OpenFDO

Authors Gerard R. Renardel de Lavalette

Publication date 15 May 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103763

zbMATH Keywords

interpolationproof theoryHorn logicequational logicconditional equational logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22) Interpolation, preservation, definability (03C40)

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 23769 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A simple algebraic proof of the equational interpolation theorem
• On the structure of abstract algebras.
• Un théorème sur les fonctions d'ensembles.

This page was built for publication: Proving interpolation for conditional equational logic, using functions to represent conditionals

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