The lazy logic of partial terms

DOI10.2178/jsl/1190150149zbMath1011.03019OpenAlexW2091690375MaRDI QIDQ4779651

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

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

Cites Work

• What does logic have to tell us about mathematical proofs?
• An extended joint consistency theorem for free logic with equality
• On definitions
• An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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