A square of oppositions in intuitionistic logic with strong negation

DOI10.1007/S11787-016-0144-1zbMATH Open1403.03014OpenAlexW2320353775MaRDI QIDQ346768FDOQ346768

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

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

zbMATH Keywords

intuitionistic logicKripke modelsstrong negationsaturated sets

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• No group of opposition for constructive logics: the intuitionistic and linear cases
• Constructive predicate logic with strong negation and model theory
• 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)