scientific article

zbMath0695.03005MaRDI QIDQ3470451

Colin McLarty

Publication date: 1989

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Prologextension of Horn clause logicstable surjection logictype introduction axiomstype introduction clauses

Mathematics Subject Classification ID

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

Cites Work

• Left exact logic
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Advanced logic for applications
• Aspects of topoi
• Unnamed Item
• Unnamed Item

This page was built for publication: