A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic.

Mohammad Ardeshir

Published in: Stud Logica (1999)

Keyphrases

predicate logic
knowledge representation and reasoning
formal logic
temporal logic
semantic network
semantic net
predicate calculus
order sorted
computational linguistics
general purpose
interval valued
lower level
incomplete information
logical formulas
domain specific
fluent calculus
information extraction