Login / Signup
Fibring Non-Truth-Functional Logics: Completeness Preservation.
Carlos Caleiro
Walter Alexandre Carnielli
Marcelo E. Coniglio
Amílcar Sernadas
Cristina Sernadas
Published in:
J. Log. Lang. Inf. (2003)
Keyphrases
</>
modal logic
truth values
valued logic
inference rules
classical logic
expressive power
epistemic logic
data sets
neural network
temporal logic
default logic
default reasoning
nonmonotonic logics
functional properties
functional analysis