Stem metalog$ (all stems)

3 papers:

CADE-2003-CraryS #framework #logic

Foundational Certified Code in a Metalogical Framework (KC, SS), pp. 106–120.

ICLP-1994-Jiang #logic #logic programming #semantics

Ambivalent Logic as the Semantic Basis of Metalogic Programming (YJ), pp. 387–401.

KR-1991-BrogiT #information management #logic #representation

Metalogic for Knowledge Representation (AB, FT), pp. 61–69.