soundness
| Logical necessity | SML | validity | Logical validity |
| maximally consistent | Logical Address | Logical Equivalences | I will not move my army without onions! |
| Completeness | syllogism | Undefined |
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.