scientific article; zbMATH DE number 4204319

MaRDI QIDQ3352999zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 1991

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

zbMATH Keywords

admissible rulealgorithmGrzintuitionistic logicmodal logicsolvability of logical equationssubstitution problem

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Best solving modal equations
• Logical equations in monadic logic
• DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
• An admissibility criterion for inference rules with metavariables in the modal logic S4._N

Cited in

(2)

• Deductive systems with multiple-conclusion rules and the disjunction property
• scientific article; zbMATH DE number 3900721 (Why is no real title available?)

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 Q3352999)