On purported Gentzen formulations of two positive relevent logics.

Steve Giambrone

Published in: Stud Logica (1985)

Keyphrases

positive and negative
expressive power
modal logic
inference rules
sequent calculus
neural network
data model
positive feedback
positively correlated
real time
social networks
information systems
optimization methods
horn clauses
horn logic