scientific article; zbMATH DE number 2015402

MaRDI QIDQ4438233zbMATH OpenFDO

Authors Jacek Malinowski

Publication date 9 December 2003

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other nonclassical logic (03B60)

Recommendations

• General logic-systems and finite consequence operators
• On decidable consequence operators
• scientific article; zbMATH DE number 4103050
• scientific article; zbMATH DE number 1256282
• scientific article; zbMATH DE number 1406801
• Immediate consequences operator on generalized quantifiers
• Some remarks on axiomatizing logical consequence operations
• scientific article; zbMATH DE number 4041883
• scientific article; zbMATH DE number 3912348
• scientific article; zbMATH DE number 2196606

Cited in

(4)

• On pairs of dual consequence operations
• Should Tarski's idea of consequence operation be revised?
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• Immediate consequences operator on generalized quantifiers

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