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 ...

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 ...

Christian G. Fermüller, George Metcalfe, Giles's Game and the Proof Theory of Łukasiewicz Logic, Studia Logica: An International Journal for Symbolic Logic, Vol. 92, No. 1 (Jun., 2009), pp. 27-61 ...

See all Abstractions blog Inspired by Curry’s observation, the mathematical logician William Alvin Howard discovered a deeper link between computation and logic in 1969, showing that running a ...

Stronger than scientific explanation is logical proof. It may surprise you to know that just such proof of Santa’s existence has actually been around for more than 900 years.

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.