Completeness and conservative extension results for some boolean relevant logics.

Steve Giambrone Robert K. Meyer

Published in: Stud Logica (1989)

Keyphrases

expressive power
boolean functions
neural network
artificial intelligence
closely related
real valued
proof theoretic
real time
case study
multiscale
inference rules
multi valued
classical logic