Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set ...

Two intuitionistic paradefinite logics N4C and N4C⁺ are introduced as Gentzen-type sequent calculi. These logics are regarded as a combination of Nelson's paraconsistent four-valued logic N4 and ...

Algebraic logic constitutes a vibrant interdisciplinary field that investigates the close interplay between algebraic structures and logical systems. By utilising tools from universal algebra, ...