Login / Signup
On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency.
Walter Alexandre Carnielli
Marcelo E. Coniglio
Rodrigo Podiacki
Tarcísio Rodrigues
Published in:
Rev. Symb. Log. (2014)
Keyphrases
</>
formal model
computational model
theoretical framework
statistical model
theoretical foundation
management system
computational models
mathematical framework
similarity measure
objective function
probability distribution
formal specification
general theory
formal representation