共 24 条
- [1] MUTUAL TRANSFORMABILITY OF THE FORMULAS OF THE LANGUAGES L AND RJOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 390 - 391GORGY, FWSAHYOUN, AH
- [2] MUTUAL TRANSFORMABILITY OF THE FORMULAS OF THE LANGUAGES OF MARKOV L2-OMEGA AND R-OMEGAZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (02): : 123 - 126GORGY, FWSAHYOUN, AH
- [3] MUTUAL TRANSFORMABILITY OF THE FORMULAS OF THE LANGUAGES OF MARKOV L-OMEGA-N AND RN1ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (03): : 207 - 212GORGY, FWSAHYOUN, AH
- [4] TRANSFORMABILITY OF THE FORMULAS OF THE LANGUAGES OF MARKOV LN, L-OMEGA INTO FORMULAS OF THE LANGUAGE R-2ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (03): : 203 - 206GORGY, FWSAHYOUN, AH
- [5] BCDL: Basic Constructive Description LogicJOURNAL OF AUTOMATED REASONING, 2010, 44 (04) : 371 - 399Ferrari, MauroFiorentini, CamilloFiorino, Guido
- [6] The basic constructive logic for absolute consistencyJournal of Logic, Language and Information, 2009, 18 (2) : 199 - 216Méndez J.M.Robles G.
- [7] BASIC FORMULAS AND LANGUAGES .1. THE THEORYDISCRETE APPLIED MATHEMATICS, 1981, 3 (04) : 235 - 255EHRENFEUCHT, AROZENBERG, GVERRAEDT, R
- [8] The basic constructive logic for negation-consistencyJournal of Logic, Language and Information, 2008, 17 (2) : 161 - 181Robles G.
- [9] The basic constructive logic for a weak sense of consistencyJournal of Logic, Language and Information, 2008, 17 (1) : 89 - 107Robles G.Méndez J.M.