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, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback