A square of oppositions in intuitionistic logic with strong negation

DOI10.1007/S11787-016-0144-1MaRDI QIDQ346768zbMATH OpenOpenAlexFDO

Authors François Lepage

Publication date 30 November 2016

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-016-0144-1

zbMATH Keywords

intuitionistic logicKripke modelsstrong negationsaturated sets

Mathematics Subject Classification ID

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

Recommendations

• Constructive predicate logic with strong negation and model theory
• scientific article; zbMATH DE number 859800
• Semi-intuitionistic logic with strong negation
• Oppositional logic
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

Cites work

• Constructible falsity
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• N-lattices and constructive logic with strong negation
• Nelson's paraconsistent logics

Cited in

(7)

• Constructive predicate logic with strong negation and model theory
• No group of opposition for constructive logics: the intuitionistic and linear cases
• Vector logic allows counterfactual virtualization by the square root of NOT
• Logical squares for classical logic sentences
• The Vatican square
• The Klein group, squares of opposition and the explanation of fallacies in reasoning
• A bilateral Hilbert-style investigation of 2-intuitionistic logic

This page was built for publication: A square of oppositions in intuitionistic logic with strong negation

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