scientific article; zbMATH DE number 1870124

DOI10.1023/A:1011215918556MaRDI QIDQ4792804zbMATH OpenFDO

Authors Karel Lambert

Publication date 17 February 2003

Published in Minds and Machines (Search for Journal in Brave)

zbMATH Keywords

programmingpartial functionspredicationnegative free logicpositive free logicextensionalproof of unsoundnessproto-semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1867306
• scientific article; zbMATH DE number 1749197
• scientific article; zbMATH DE number 1040351
• Free-quantifier functional logics of partial quasi-ary predicates
• Partial logics reconsidered: A conservative approach

Cited in

(7)

• scientific article; zbMATH DE number 1867305 (Why is no real title available?)
• Major parts of speech
• scientific article; zbMATH DE number 1612556 (Why is no real title available?)
• Predicative programming Part II
• Denotation and description in free logic*
• scientific article; zbMATH DE number 4089537 (Why is no real title available?)
• The lazy logic of partial terms

This page was built for publication:

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