scientific article; zbMATH DE number 614413

MaRDI QIDQ4300705zbMATH OpenFDO

Authors B. I. Fedorov

Publication date 22 January 1995

zbMATH Keywords

causal implication

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03)

Recommendations

• The implicational nature of logic: A structuralist account
• Implicational Logic, Relevance, and Refutability
• Logic for Programming, Artificial Intelligence, and Reasoning
• On the role of implication in formal logic
• scientific article; zbMATH DE number 2097005
• The pursuit of an implication for the logics L3A and L3B
• Etchemendy and Bolzano on logical consequence
• scientific article; zbMATH DE number 2170850
• The semantics and proof theory of the logic of bunched implications
• scientific article; zbMATH DE number 1778909

Cited in

(1)

• The variety of consequence, according to Bolzano

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