A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice

DOI10.1007/BF00975025zbMath0661.03003MaRDI QIDQ1112802

E. Z. Skvortsova

Publication date: 1988

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

intuitionistic propositional calculusBrouwer algebradifficulty degreesimplicative latticeinitial segments of Medvedev's lattice

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Natural factors of the Medvedev lattice capturing IPC ⋮ Constructive logic and the Medvedev lattice ⋮ Comparing the degrees of enumerability and the closed Medvedev degrees

Cites Work

• Distributive Initial Segments of the Degrees of Unsolvability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice