scientific article; zbMATH DE number 3976988

MaRDI QIDQ3743299zbMATH OpenFDO

Authors

Publication date 1979

zbMATH Keywords

logical inferenceMoskvaproceedingssymposium

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

(8)

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