logic "G\""odel".
truth_values {f,*,t}.
designated_truth_values {t}.

operator(true /0, mapping { t }).
operator(false/0, mapping { f }).
operator(neg  /1, mapping { (t): f,
                            (*): f,
                            (f): t
                          }
        ).

ordering(linear, "f < * < t").
operator(and  /2, inf(linear)).
operator(or   /2, sup(linear)).

operator(imp/2, table   [     f, *, t,
                          f,  t, t, t,
                          *,  f, t, t,
                          t,  f, *, t
                        ]
        ).

quantifier(forall, induced_by and/2).
quantifier(exists, induced_by or/2).