scientific article; zbMATH DE number 962824

MaRDI QIDQ5690838zbMATH OpenFDO

Authors Kaj Børge Hansen

Publication date 7 January 1997

zbMATH Keywords

\(\omega\)-consistencyCantor's diagonal procedureconditionalsHorn clauseslogical foundations of logic programmingparadoxes of material implicationphilosophyPROLOGrationalismRussell's antinomyself-referential systemsSkolem's paradoxupward version of the Löwenheim-Skolem theorem

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Logic programming (68N17)

Recommendations

• Logic for informatics and artificial intelligence
• scientific article; zbMATH DE number 992300
• scientific article; zbMATH DE number 1097324

Cited in

(6)

• scientific article; zbMATH DE number 4024772 (Why is no real title available?)
• Free Logic
• scientific article; zbMATH DE number 789391 (Why is no real title available?)
• scientific article; zbMATH DE number 823600 (Why is no real title available?)
• An Application of Logic Engineering
• scientific article; zbMATH DE number 5037203 (Why is no real title available?)

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