Browsing Bulletin of the Section of Logic 52/1 (2023) by Subject
Now showing items 1-20 of 23
| Subject |
|---|
| algebraic logic [1] |
| amalgamation [1] |
| approximation space [1] |
| cartesian product and strongest intuitionistic fuzzy relation [1] |
| characteristic matrix [1] |
| D-lower approximation [1] |
| D-lower filter [1] |
| D-upper approximation [1] |
| D-upper filter [1] |
| equality algebra [1] |
| filter [1] |
| higher conversion [1] |
| higher lambda calculus [1] |
| homomorphism [1] |
| homotopic lambda model [1] |
| homotopy type-free theory [1] |
| interpolation [1] |
| intuitionistic fuzzy PMS-subalgebra [1] |
| Kan complex reflexive [1] |
| PMS-algebra [1] |