Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...

We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the ...

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia ...

This kind of ontological proof is a favorite whipping-argument for atheists, just because it seems so prima facie silly. Just ask Jesus and Mo. This kind of mockery is a little unfair (although only a ...

Want Even Further Proof? Then in 2002, a group of researchers set up the experiment in a way that the electron could not possibly receive information about the existence of an observing instrument.