scientific article; zbMATH DE number 1870124

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

Authors: 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?)

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

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 (7)

• Title not available (Why is that?)
• Predicative programming Part II
• The lazy logic of partial terms
• Title not available (Why is that?)
• Denotation and description in free logic*
• Title not available (Why is that?)
• 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)