The differential semantics of Łukasiewicz syntactic consequence

Abstract: The classical condition "

p h i

is a semantic consequence of

T h e t a

" in infinite-valued propositional L ukasiewicz logic L

_{i} n f t y

is refined using enriched valuations that take into account the effect on

p h i

of the stability of the truth-value of all

h e t a i n T h e t a

under small perturbations (or, measurement errors) of the models of

T h e t a

. The differential properties of the functions represented by

p h i

and by all

h e t a i n T h e t a

naturally lead to a new notion of semantic consequence

m o d e l s_{p} a r t i a l

that turns out to coincide with syntactic consequence

v d a s h

.

Recommendations

Cites Work

Cited In (8)

This page was built for publication: The differential semantics of Łukasiewicz syntactic consequence