Medvedev's logic and products of converse well orders

MaRDI QIDQ5884973FDOQ5884973

Authors: Denis I. Saveliev, Ilya Shapirovsky 

Publication date: 24 March 2023

Recommendations

• scientific article; zbMATH DE number 7668110
• scientific article; zbMATH DE number 6290323
• Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
• Intermediate logics and factors of the Medvedev lattice
• Constructive logic and the Medvedev lattice

zbMATH Keywords

modal logicfinite model propertyMedvedev's logicdirect product of ordinalsNoetherian order

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Medvedev's logic and products of converse well orders

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