Free Logics are Cut-Free.

Andrzej Indrzejczak

Published in: Stud Logica (2021)

Keyphrases

information retrieval
social networks
special case
expressive power
information systems
decision making
objective function
logic programs