Topological representation of material implication and the rule of inference modus ponens

zbMATH Open1351.03001MaRDI QIDQ2811653FDOQ2811653

Authors: Andreĭ Borisovich Banovats 

Publication date: 10 June 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1213115
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Topological representation for monadic implication algebras
• Topological representation for implication algebras
• Intuitionistic logic and modality via topology

zbMATH Keywords

differentiationtopological spacemodus ponenstopological invariantstopological representationmaterial implicationKronecker delta functiondifferentiation invariants

Mathematics Subject Classification ID

Classical first-order logic (03B10) Generalities in topology (54A99)

This page was built for publication: Topological representation of material implication and the rule of inference modus ponens

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