This paper presents an enrichment of the Gabbay–Woods schema of Peirce's 1903 logical
form of abduction with illocutionary acts, drawing from logic for pragmatics and its resources …

This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style
semantics for propositional until-free linear-time temporal logic. The sequent calculi and …

We investigate some well-known (and a few not-so-well-known) many-valued logics that
have a small number (3 or 4) of truth values. For some of them we complain that they do not …

New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in
Coq Page 1 New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics …

A bi-Heyting algebra validates the Gödel-Dummett axiom (p→ q)∨(q→ p) iff the poset of its
prime filters is a disjoint union of co-trees (ie, order duals of trees). Bi-Heyting algebras of …

A modal extension of multilattice logic, called modal multilattice logic, is introduced as a
Gentzen-type sequent calculus MML _n MML n. Theorems for embedding MML _n MML n …

We present a logic which deals with connexive exclusion. Exclusion (also called “co-
implication”) is considered to be a propositional connective dual to the connective of …

A unified and modular falsification-aware single-succedent Gentzen-style framework is
introduced for classical, paradefinite, paraconsistent, and paracomplete logics. This …

Two new propositional non-classical logics, referred to as symmetric intuitionistic logic (SIL)
and conflated intuitionistic logic (CIL), are introduced as indexed and non-indexed Gentzen …

A bi-Heyting algebra validates the G\" odel-Dummett axiom $(p\to q)\vee (q\to p) $ iff the
poset of its prime filters is a disjoint union of co-trees (ie, order duals of trees). Bi-Heyting …