Semi-intuitionistic logic with strong negation

DOI10.1007/s11225-017-9737-9zbMath1437.03043OpenAlexW2730984253MaRDI QIDQ1743996

Juan Manuel Cornejo, Ignacio Darío Viglizzo

Publication date: 16 April 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9737-9

zbMATH Keywords

intuitionismsemi-intuitionistic logicintuitionistic logic with strong negationsemi-Nelson algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ Semi-intuitionistic logic with strong negation ⋮ Semi-Heyting Algebras and Identities of Associative Type

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semi-intuitionistic logic
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• A survey of abstract algebraic logic
• Semi-intuitionistic logic with strong negation
• On some semi-intuitionistic logics
• Semi-Nelson algebras
• N-lattices and constructive logic with strong negation
• Constructible falsity

This page was built for publication: Semi-intuitionistic logic with strong negation