A logic with normal modal operators and countable infinite conjunctions and disjunctions is introduced. A Hilbert's style axiomatization is proved complete for this logic, as well as for countable ...

Special attention is paid to the most basic logic in this hierarchy, the pure "intelim logic", which satisfies all the requirements of a natural deduction system (allowing both introduction and ...

In the English as in most but not all languages (i.e. Chinese) number can be extracted from the noun leaving a lexical-propositional form of the noun. From book and books we get object predicate: 1.