formal semantics
(Q122922979)
in logics and AI, function allowing to establish if a formula in some language is entailed by a formal theory
in logics and AI, function allowing to establish if a formula in some language is entailed by a formal theory
Language:
Current Data About
formal semantics
other details
| aliases |
semantics |
| description | in logics and AI, function allowing to establish if a formula in some language is entailed by a formal theory |