Now showing items 1-1 of 1
Hidden modalities in algebras with negation and implication
(Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky, 2013)
Lukasiewicz 3-valued logic may be seen as a logic with hidden truthfunctional modalities de ned by A := :A ! A and A := :(A ! :A). It is known that axioms (K), (T), (B), (D), (S4), (S5) are provable for these modalities, and ...