Monkeys can keep strings of information in order by using a simple kind of logical thought. Rhesus macaque monkeys learned the order of items in a list with repeated exposure to pairs of items plucked ...

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical ...

Way back before the days of microcomputers, a few very lucky students first got their hands wet with microcomputer trainers. These simple devices used common logic chips, lights, and switches to ...

We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives.