Browsing Bulletin of the Section of Logic 47/3 (2018) by Subject
Now showing items 1-20 of 28
Subject |
---|
Almost Distributive Lattice [1] |
amalgamation [1] |
B-Almost Distributive Lattice [1] |
Biacino-Gerla structures. [1] |
completeness [1] |
connection structures [1] |
equality [1] |
equational hybrid propositional type theory [1] |
first-order modal logic [1] |
foundations of topology [1] |
Grzegorczyk structures [1] |
Heyting Almost Distributive Lattice (HADL) [1] |
hybrid logic [1] |
hybrid type theory [1] |
identity [1] |
interpolation [1] |
mereological structures [1] |
mereology [1] |
nameability [1] |
normal forms [1] |