A functional partial semantics for intensional logic

DOI10.1305/NDJFL/1093634484zbMATH Open0789.03012OpenAlexW2011415257MaRDI QIDQ689211FDOQ689211

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited In (9)

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

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)