The Representation of Intensional Logics

DOI10.1002/MALQ.19680141902MaRDI QIDQ5556400zbMATH OpenOpenAlexFDO

Authors M. J. Cresswell

Publication date 1968

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19680141902

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(4)

• scientific article; zbMATH DE number 4164812 (Why is no real title available?)
• Logic representation in LF
• Leibnizian Intensional Semantics for Syllogistic Reasoning
• Formal Methods in Software and Systems Modeling

This page was built for publication: The Representation of Intensional Logics

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