Significance and illative combinatory logics

DOI10.1305/NDJFL/1093883054zbMath0394.03025OpenAlexW2085729065MaRDI QIDQ1252226

Martin W. Bunder

Publication date: 1980

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093883054

zbMATH Keywords

Illative Combinatory LogicsSignificance Logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Significance and illative combinatory logics