Wyświetlanie pozycji 1-20 z 23
| Temat |
|---|
| (MV, PMV)-algebra [1] |
| 06D35 [1] |
| 06F99 [1] |
| 16D80 [1] |
| calculus of names [1] |
| copula ‘is’ [1] |
| cut elimination [1] |
| cut-elimination theorem [1] |
| Decidability [1] |
| elementary ontology [1] |
| Essential extension [1] |
| extralogical rules [1] |
| Injective MV-module [1] |
| Kripke Model [1] |
| Leśniewski's ontology [1] |
| MV-module [1] |
| ontology-like theories [1] |
| proof theory [1] |
| quantifier-free fragment of ontology [1] |
| Quantum logic [1] |