Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness

DOI10.1007/S10469-021-09618-YOpenAlexW3137383412MaRDI QIDQ2026740

Aleksandr D. Yashin

Publication date: 20 May 2021

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-021-09618-y

zbMATH Keywords

Novikov completenessirreflexive modality\( \phi \)-logicchain of order type \(\omega \)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Irreflexive modality as a new logical connective in the Dummett logic
• On some new intuitionistic propositional connectives. I
• Pretabular superintuitionistic logic
• A propositional calculus with denumerable matrix
• Dummett Logic, Irreflexive Modality and Novikov Completeness

This page was built for publication: Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness