Przeglądaj Bulletin of the Section of Logic 49/4 (2020) według tematu
Wyświetlanie pozycji 1-20 z 23
| Temat |
|---|
| [bounded] distributive/De Morgan lattice [1] |
| Brouwer's modal logic [1] |
| co-negation [1] |
| Dunn-Belnap's logic [1] |
| empirical negation [1] |
| equality determinant [1] |
| expansion [1] |
| goal preservation [1] |
| goal simplification [1] |
| indirect inference [1] |
| interval neutrosophic length [1] |
| interval neutrosophic set [1] |
| intuitionism [1] |
| intuitionistic logic [1] |
| Kripke frames [1] |
| labelled sequent calculus [1] |
| length neutrosophic subalgebra [1] |
| logical matrix [1] |
| premise preservation [1] |
| propositional logic [1] |