On the characterization of fibred logics, with applications to conservativity and finite-valuedness.

Sérgio Marcelino Carlos Caleiro

Published in: J. Log. Comput. (2017)

Keyphrases

expressive power
modal logic
inference rules
neural network
unit length
propositional calculus
valued logic
artificial neural networks
website
computer vision
computational properties
finite automata
proof theory
search engine
information retrieval
database
inheritance reasoning