Eigenvariables, bracketing and the decidability of positive minimal predicate logic.

Gilles Dowek Ying Jiang

Published in: CoRR (2023)

Keyphrases

predicate logic
knowledge representation and reasoning
temporal logic
description logics
semantic net
formal logic
predicate calculus
semantic network
positive and negative
computational linguistics
databases
order sorted
logical formulas
logic programming
programming language
general purpose
expert systems