scientific article; zbMATH DE number 614413

zbMATH Open0804.01005MaRDI QIDQ4300705FDOQ4300705

Authors: B. I. Fedorov 

Publication date: 22 January 1995

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

causal implication

Mathematics Subject Classification ID

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

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)