| E89-1028 | correspond to axioms one will use in an | axiomatization | of LM . For example , the rule |
| C94-2181 | showed that G1 is a Gentzen type | axiomatization | of C1 . To guarantee a cut - |
| C86-1019 | type theory . Thus we have no | axiomatization | for this logic . For this reason |
| C86-1121 | provides the " model " for this | axiomatization | . The observation of the effective |
| H86-1005 | databases , and present a sound | axiomatization | and proof and proof procedure |
| C00-1076 | strttcture of text and intentions . The | axiomatization | enables one lo use intentions |
| E87-1041 | has been accounted for in the | axiomatization | of the structure < S , L , |
| C86-1121 | commonsense postulates constitute the | axiomatization | , and the real world provides |
| C92-1054 | informationally redundant follows from an | axiomatization | of action in dialogue that I |
| C82-1022 | logical system . Fortunately the | axiomatization | of Lesniewski 's ontology has |
| C86-1121 | model prior to our attempt at an | axiomatization | . 3.2 . Commonsense observed |
| E89-1028 | for validity . A Hilbert style | axiomatization | was given and it was shown that |
| C86-1121 | exploitation of the " tarskian " scheme | axiomatization | < - > interpretation borrowed |
| C86-1050 | reduction to PATR . Also , the PATR | axiomatization | has a clear construetire interpretation |
| E97-1000 | constraint based theories , logical | axiomatizations | have been employed as a common |
| C86-1121 | physical world is done through an | axiomatization | , typically in first-order logic |
| C86-1121 | principle of logical adequation of an | axiomatization | to a model is replaced by a notion |
| C86-1019 | traditional tense logic as in the | axiomatization | by Priori13 \ -RSB- . In tense |
| E87-1041 | > ; in particular , several | axiomatization | theorems have been proved , providing |
| C00-1076 | . The result is a tirst-order | axiomatization | of the mathematical prol + er |
