scientific article; zbMATH DE number 2201266

MaRDI QIDQ5313694zbMATH OpenFDO

Authors Na Li, Ji Li

Publication date 1 September 2005

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Two remarks on strictly implicative formulas in modal logic S3
• A System for Strict Implication
• scientific article; zbMATH DE number 2091988
• The pursuit of an implication for the logics L3A and L3B
• The strong completeness of a system based on Kleene's strong three-valued logic
• scientific article; zbMATH DE number 2170850
• Proof systems for 3-valued logics based on Gödel's implication
• On structural completeness of implicational logics
• Priorean strict implication, Q and related systems
• scientific article; zbMATH DE number 3069861

Cited in

(9)

• The relative consistency of system RRC\(^*\) and some of its extensions
• Two remarks on strictly implicative formulas in modal logic S3
• scientific article; zbMATH DE number 4160691 (Why is no real title available?)
• scientific article; zbMATH DE number 4063062 (Why is no real title available?)
• scientific article; zbMATH DE number 1778908 (Why is no real title available?)
• A note on strict implication (1935)
• A System for Strict Implication
• Emch's calculus and strict implication
• Priorean strict implication, Q and related systems

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