A functional partial semantics for intensional logic

DOI10.1305/NDJFL/1093634484MaRDI QIDQ689211zbMATH OpenOpenAlexFDO

Authors 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

intensional logicpartial modelspartial functionssemantics of higher-order languagesSchönfield's theorem

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Partial functions in type theory
• Classical logic with partial functions
• A first order logic for partial functions (extended abstract)
• Classical logic with partial functions
• scientific article; zbMATH DE number 6287649

Cited in

(9)

• scientific article; zbMATH DE number 3950527 (Why is no real title available?)
• Classical logic with partial functions
• Интенсиональные семантики для некоторых систем позитивной силлогистики
• Partial functions in type theory
• A Free Logic for Stable Models with Partial Intensional Functions
• Propositional type theory of indeterminacy
• The notion of problem, intuitionism and partiality
• scientific article; zbMATH DE number 6287649 (Why is no real title available?)
• Intensional solutions to the identity problem for partial sets

Describes a project that uses

Uses Software

• ETPS

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

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