scientific article; zbMATH DE number 7585730

MaRDI QIDQ5104723

Heinrich Wansing, Hitoshi Omori

Publication date: 15 September 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

many-valued logicdisjunction propertylaw of excluded middleconstructive logicexistence propertyNelson logicFDEconnexive logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (11)

IMPROVING STRONG NEGATION ⋮ On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ An algebraic investigation of the connexive logic \(\mathsf{C}\) ⋮ A simple way to overcome hyperconnexivity ⋮ Angell and McCall meet Wansing ⋮ Boolean connexive logic and content relationship ⋮ Stalnakerian connexive logics ⋮ Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation ⋮ Consistent theories in inconsistent logics ⋮ A Variant of Material Connexive Logic

This page was built for publication: