The lazy logic of partial terms

DOI10.2178/JSL/1190150149MaRDI QIDQ4779651zbMATH OpenOpenAlexFDO

Authors Raymond D. Gumb

Publication date 27 November 2002

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1190150149

zbMATH Keywords

partial functionspositive free logicnonstrict functionslazy logic of partial termsnonstrict logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1612556
• The connection between two ways of reasoning about partial functions
• Partial logics reconsidered: A conservative approach
• scientific article; zbMATH DE number 1870124
• scientific article; zbMATH DE number 1040351

Cites work

• scientific article; zbMATH DE number 3542383 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3271472 (Why is no real title available?)
• A mathematical introduction to logic.
• An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions
• An extended joint consistency theorem for free logic with equality
• On definitions
• What does logic have to tell us about mathematical proofs?

Cited in

(6)

• scientific article; zbMATH DE number 1612556 (Why is no real title available?)
• Modelling the usage of partial functions and undefined terms using presupposition theory
• scientific article; zbMATH DE number 549962 (Why is no real title available?)
• Preliminary arrangements of arguments in lazy evaluation
• An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions
• The connection between two ways of reasoning about partial functions

This page was built for publication: The lazy logic of partial terms

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