scientific article; zbMATH DE number 1567881

zbMath0982.03005MaRDI QIDQ4761712

Aleksandr D. Yashin

Publication date: 21 February 2001

Full work available at URL: http://mech.math.msu.su/~fpm/eng/99/993/99319h.htm

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

zbMATH Keywords

decidabilityKripke framesNovikov completenessnew intuitionistic propositional constant

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

A new constant in superintuitionistic logic L3 ⋮ New constants in two pretabular superintuitionistic logics

This page was built for publication: