NLPINetwork Layer Protocol Identifier
NLPINorth Louisiana Partnership for Innovation (est. 2003)
References in periodicals archive ?
For every interpretation I of SC, every NLPI I conforming to I, and every sentence [Phi] of SC, [Phi] is true under I iff [[Phi]/I] is true.
For every NLPI I conforming to interpretation I, for every set of sentences of SC [Gamma] and for every sentence [Phi] of SC, if [Phi] is a model-theoretic consequence of [Gamma], then, if every member [Theta] of [Gamma] is such that [[Theta]/I] is true, then [[Phi]/I] is true.
NLPI of the modal sentential calculus (MSC) are the same as for SC.