Constructive predicate logic with strong negation and model theory

DOI10.1305/ndjfl/1093637767zbMath0647.03005OpenAlexW2060687784MaRDI QIDQ1104309

Seiki Akama

Publication date: 1988

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637767

zbMATH Keywords

intuitionistic logicclassical logicstrong negationfirst-order constructive logicKripke-type many-worlds semantics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (7)

Vagueness as an epiphenomenon, and non-transitivity ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Tableaux for logic programming with strong negation ⋮ Description logics with contraries, contradictories, and subcontraries ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ Why Paraconsistent Logics? ⋮ Order-sorted logic programming with predicate hierarchy

This page was built for publication: Constructive predicate logic with strong negation and model theory