Forcing in Lukasiewicz Predicate Logic.

Antonio Di Nola George Georgescu Luca Spada

Published in: Stud Logica (2008)

Keyphrases

predicate logic
modal logic
temporal logic
knowledge representation and reasoning
formal logic
semantic network
truth values
predicate calculus
computational linguistics
semantic net
lower level
knowledge representation
higher level
model checking