scientific article

zbMath0439.03008MaRDI QIDQ3880811

Valentin Shehtman, Dimitrij Skvortsov, Larisa L. Maksimova

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite axiomatizationMedvedev's logic of finitary problems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intermediate logics (03B55)

Related Items (11)

An Application of the Yankov Characteristic Formulas ⋮ On maximal intermediate logics with the disjunction property ⋮ Finite problems and the logic of the weak law of excluded middle ⋮ A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice ⋮ Inquisitive logic ⋮ Intermediate logics and the de Jongh property ⋮ A dichotomy for some elementarily generated modal logics ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ On representation of finite pseudo-Boolean algebras and one of its applications ⋮ The modal logic of Bayesian belief revision ⋮ On maximal intermediate predicate constructive logics

This page was built for publication: