Login / Signup
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