Kripke Completeness of First-Order Constructive Logics with Strong Negation

DOI10.1093/jigpal/11.6.615zbMath1048.03022OpenAlexW2115753177MaRDI QIDQ4465165

Ryo Kashima, Ichiro Hasuo

Publication date: 27 May 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/39bb5cb7d707ca2121f6c8313d5846dc09847be8

zbMATH Keywords

intermediate logicstrong negationKripke-type semanticsquantified constructive logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53) Intermediate logics (03B55)

Related Items (7)

Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ A 4-valued framework encompassing intuitionistic and classical logic ⋮ Extensions of Priest-da Costa logic ⋮ Display calculi and other modal calculi: a comparison ⋮ Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity ⋮ Sound and Complete Tree-Sequent Calculus for Inquisitive Logic ⋮ A first order nonmonotonic extension of constructive logic

This page was built for publication: Kripke Completeness of First-Order Constructive Logics with Strong Negation