Kripke Completeness of First-Order Constructive Logics with Strong Negation

DOI10.1093/JIGPAL/11.6.615MaRDI QIDQ4465165zbMATH OpenOpenAlexFDO

Authors Ichiro Hasuo, Ryo Kashima

Publication date 27 May 2004

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

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

zbMATH Keywords

intermediate logicKripke-type semanticsquantified constructive logicstrong negation

Mathematics Subject Classification ID

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

Recommendations

• Constructive predicate logic with strong negation and model theory
• Modal Operators over Constructive Logic
• Nelson's paraconsistent logics
• On the Proof Method for Constructive Falsity
• scientific article; zbMATH DE number 1916520

Cited in

(17)

• Extensions of Priest-da Costa logic
• scientific article; zbMATH DE number 4213978 (Why is no real title available?)
• Inconsistent models (and infinite models) for arithmetics with constructible falsity
• First-order anti-intuitionistic logic with apartness
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• On the Proof Method for Constructive Falsity
• scientific article; zbMATH DE number 4106815 (Why is no real title available?)
• A 4-valued framework encompassing intuitionistic and classical logic
• scientific article; zbMATH DE number 1916520 (Why is no real title available?)
• scientific article; zbMATH DE number 6287631 (Why is no real title available?)
• Kamide is in America, Moisil and Leitgeb are in Australia
• Generalized Kripke semantics for Nelson's logic
• Variable domain first-order first-degree entailment and some of its children
• Possibilist models of executable arithmetic in an interpretation of Griss
• A first order nonmonotonic extension of constructive logic
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Display calculi and other modal calculi: a comparison

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4465165)