Login / Signup
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate.
Steffen Lewitzka
Published in:
Log. J. IGPL (2012)
Keyphrases
</>
computational model
statistical model
machine learning
management system
probability distribution
higher order
neural network
prior knowledge
probabilistic model
formal model