From (AB)a infer A^*a

MaRDI QIDQ4648944zbMATH OpenFDO

Authors Bjørn Jespersen

Publication date 16 November 2012

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• What is an inference rule?
• scientific article; zbMATH DE number 975727
• New modification of the subformula property for a modal logic
• A method of logical inference of modified conclusions
• scientific article; zbMATH DE number 4204322

Cited in

(2)

• A new logic of technical malfunction
• scientific article; zbMATH DE number 6513193 (Why is no real title available?)

This page was built for publication: From \((AB)a\) infer \(A^*a\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4648944)