scientific article

zbMATH Open0697.03012MaRDI QIDQ3474636

S. G. Karagebakyan

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

intuitionistic logicdouble negation translationKleene realizabilityfaithful embedding of classical predicate logic into SCfunctions from subconstructive classespredicate logic SC

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Metamathematics of constructive systems (03F50)

Related Items (6)

An algebraic approach to the disjunction property of substructural logics ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ An algebraic approach to subframe logics. Modal case ⋮ Title not available (Why is that?) ⋮ On the restricted equivalence for subclasses of propositional logic

This page was built for publication:

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