Modal algebra
دیسه‌ای
⟨𝐴,∧,∨,-,0,1,□⟩
□1=1
□(𝑥∧𝑦)=□𝑥∧□𝑦
⟨𝐴,∧,∨,-,0,1,□⟩
□1=1
□(x∧y)=□x∧□y


تاربرگ‌های پیموده‌شده در این نشست: Negative Free Logic ⟩ Peano arithmetics ⟩ Logic R ⟩ Contingentism ⟩ idempotency ⟩ Modal Axiom 5