All

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. ...

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Fu...

Nonclassical logics have recently played an increasing role in disciplines ranging from mathematics and computer science to linguistics and philoso...

Nonclassical logics have recently played an increasing role in disciplines ranging from mathematics and computer science to linguistics and philoso...

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. ...

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Fu...