Semi-intuitionistic logic

DOI10.1007/S11225-011-9321-7zbMATH Open1273.03040OpenAlexW2094693809MaRDI QIDQ763323FDOQ763323

Authors: Juan Manuel Cornejo 

Publication date: 9 March 2012

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

Full work available at URL: https://doi.org/10.1007/s11225-011-9321-7

Recommendations

• On some semi-intuitionistic logics
• The semi Heyting-Brouwer logic
• Semi-intuitionistic logic with strong negation
• Gentzen-style sequent calculus for semi-intuitionistic logic
• A reinterpretation of the semilattice semantics with applications

zbMATH Keywords

intuitionistic logicHeyting algebrassemi-Heyting algebrassemi-intuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• The variety generated by semi-Heyting chains

Cited In (12)

• On some semi-intuitionistic logics
• Semi-Nelson algebras
• Free-decomposability in varieties of semi-Heyting algebras
• Intuitionistic hybrid logic
• Semi-Heyting Algebras and Identities of Associative Type
• Semi-intuitionistic logic with strong negation
• Title not available (Why is that?)
• A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
• The semi Heyting-Brouwer logic
• Title not available (Why is that?)
• On congruences in weak implicative semi-lattices
• Gentzen-style sequent calculus for semi-intuitionistic logic

This page was built for publication: Semi-intuitionistic logic

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