scientific article; zbMATH DE number 3887650

MaRDI QIDQ3222161zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 1984

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
• Béziau on \textit{and} and \textit{or}
• scientific article; zbMATH DE number 4128788
• Juxtaposition: a new way to combine logics
• scientific article; zbMATH DE number 1163994

Cited in

(6)

• Arithmetic based on the Church numerals in illative combinatory logic
• scientific article; zbMATH DE number 1163994 (Why is no real title available?)
• scientific article; zbMATH DE number 3995671 (Why is no real title available?)
• A logic of hypothetical conjunction
• Béziau on \textit{and} and \textit{or}
• A calculus for the common rules of \(\wedge\) and \(\vee\)

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