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

MaRDI QIDQ2811653zbMATH OpenFDO

Authors Andreĭ Borisovich Banovats

Publication date 10 June 2016

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

differentiationtopological spacemodus ponenstopological invariantstopological representationmaterial implicationKronecker delta functiondifferentiation invariants

Mathematics Subject Classification ID

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

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

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)