Interpolation Property on Visser's Formal Propositional Logic

DOI10.18778/0138-0680.2022.18MaRDI QIDQ6200444

Unnamed Author, Majid Alizadeh

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

interpolationlayered bisimulationformal propositional logicbasic propositional logic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• A propositional logic with explicit fixed points
• On Löb algebras
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Basic Propositional Calculus I
• A sheaf representation and duality for finitely presented Heyting algebras
• An Introduction to Basic Arithmetic
• Basic propositional calculus. II: Interpolation

This page was built for publication: Interpolation Property on Visser's Formal Propositional Logic