A formalization of reasoning not derived from standard predicate logic

DOI10.1016/S0304-3975(98)00316-8zbMath0930.68034OpenAlexW2091536178MaRDI QIDQ1960429

Gregory S. Tseytin

Publication date: 12 January 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(98)00316-8

zbMATH Keywords

logic programmingobject-oriented programmingnon-predicate logicopen data model

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: A formalization of reasoning not derived from standard predicate logic