scientific article; zbMATH DE number 1870124

DOI10.1023/A:1011215918556zbMATH Open1034.03508MaRDI QIDQ4792804FDOQ4792804

Karel Lambert

Publication date: 17 February 2003

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

Title of this publication is not available (Why is that?)

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)

Cited In (3)

• Predicative programming Part II
• Denotation and description in free logic*
• Major parts of speech

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)