A functional partial semantics for intensional logic

From MaRDI portal

Publication:689211

Jump to:navigation, search

DOI10.1305/ndjfl/1093634484zbMath0789.03012OpenAlexW2011415257MaRDI QIDQ689211

Serge Lapierre

Publication date: 14 June 1994

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

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

zbMATH Keywords

partial functions intensional logic partial models Schönfield's theorem semantics of higher-order languages

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Uses Software

ETPS

This page was built for publication: A functional partial semantics for intensional logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:689211&oldid=12592709"

Pages with script errors