scientific article; zbMATH DE number 3976988

MaRDI QIDQ3743299zbMATH OpenFDO

Authors

Publication date 1979

zbMATH Keywords

proceedingslogical inferencesymposiumMoskva

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) History of mathematical logic and foundations (03-03)

Recommendations

• Problems of relevant logic in V. A. Smirnov's book: Formal deduction and logical calculi
• Admissibility of logical inference rules
• scientific article; zbMATH DE number 48206
• scientific article; zbMATH DE number 1204469
• scientific article; zbMATH DE number 3959387

Cited in

(6)

• scientific article; zbMATH DE number 4021131 (Why is no real title available?)
• Implicit expressibility in multiple-valued logic
• Deducibility with respect to necessary and impossible propositions
• scientific article; zbMATH DE number 2048924 (Why is no real title available?)
• On the classes of autodual functions implicitly maximal in \(P_k \)
• Implicatively implicit extensions in three-valued 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 Q3743299)