scientific article; zbMATH DE number 4137744

MaRDI QIDQ3470451zbMATH OpenFDO

Authors Colin McLarty

Publication date 1989

Full work available at URL https://eudml.org/doc/193029

zbMATH Keywords

extension of Horn clause logicPrologstable surjection logictype introduction axiomstype introduction clauses

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Foundations, relations to logic and deductive systems (18A15) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• scientific article; zbMATH DE number 4160108
• scientific article; zbMATH DE number 3941517
• scientific article; zbMATH DE number 1337623
• Clausal intuitionistic logic I. fixed-point semantics
• scientific article; zbMATH DE number 1368933

Cites work

• Advanced logic for applications
• Aspects of topoi
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Left exact logic

Cited in

(1)

• scientific article; zbMATH DE number 5173450 (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 Q3470451)