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] |