Browsing Bulletin of the Section of Logic 53/3 (2024) by Subject
Now showing items 1-20 of 29
| Subject |
|---|
| BCC-algebra [1] |
| BCK-algebra [1] |
| BE-algebra [1] |
| Boolean valuation [1] |
| combination of logics [1] |
| complete theory [1] |
| cut elimination [1] |
| dense elements [1] |
| equivalential algebras [1] |
| existentially closed [1] |
| free algebra [1] |
| free spectra [1] |
| Fregean varieties [1] |
| h-inductive theory [1] |
| Hilbert algebra [1] |
| intuitionistic Logic [1] |
| intuitionistic logic [1] |
| logically probable formula [1] |
| majority [1] |
| mathematical model [1] |