scientific article

zbMath0649.03007MaRDI QIDQ3794148

E. Z. Skvortsova

Publication date: 1988

Full work available at URL: https://eudml.org/doc/62943

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

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

The Medvedev lattice of computably closed sets, Natural factors of the Muchnik lattice capturing IPC, Effectively closed mass problems and intuitionism, Intuitionistic logic and Muchnik degrees, First-order logic in the Medvedev lattice, Natural factors of the Medvedev lattice capturing IPC, Intermediate logics and factors of the Medvedev lattice, Topological aspects of the Medvedev lattice, Kripke models, distributive lattices, and Medvedev degrees