Residuated Basic Logic
Residuated basic logic (<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="sans-serif">RBL</mi></semantics></math></inline-formula>) is the logic of residuated basic algebras, which constitutes a conservative extension of basic propositional...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Artigo |
| Kieli: | Inglês |
| Julkaistu: |
MDPI AG
2023-10-01
|
| Sarja: | Axioms |
| Aiheet: | |
| Linkit: | https://www.mdpi.com/2075-1680/12/10/966 |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|