semantic equivalence in Gödel logic

104 Views Asked by At

In propositional Gödel logic, one can imagine a new operator $=$ as

$V(\phi = \psi) = \begin{cases}1,&\text{iff }V(\phi) =V(\psi)\\0,&\text{otherwise}\end{cases}$

with $V$ being the corresponding interpretation.

My question is if someone could imagine a formulas made up from the classic connectives($\land$,$\to$, $\lor$,$\neg$) which would be equivalent for this.

My first consideration was simply the connective $\leftrightarrow$ which fulfills this property in classical logic. But in case of Gödel(fuzzy) logic, it doesn't hold for the definition for 0.

1

There are 1 best solutions below

2
On BEST ANSWER

Over Gödel logic, your operator is interdefinable with Baaz’s delta: $\phi=\psi$ can be defined as $\Delta(\phi\leftrightarrow\psi)$, and conversely, $\Delta\phi$ can be expressed as $\phi=\top$. It is not definable in Gödel logic alone.