Browse wiki
From Semantic Portal Wiki
| Karl Heuer |
| This page has no properties. |
| hide properties that link here |
| Any ist-ao quantified context logic has a first-order semantics +, Building-in new inference rules for computational context logic +, Computational context logic and species of $ist$ + | Author |
|---|

