The semi Heyting-Brouwer logic

DOI10.1007/S11225-014-9596-6zbMATH Open1378.03011OpenAlexW1973860787MaRDI QIDQ495844FDOQ495844

Authors: Juan Manuel Cornejo 

Publication date: 15 September 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-014-9596-6

Recommendations

• Semi-intuitionistic logic
• On some semi-intuitionistic logics
• Gentzen-style sequent calculus for semi-intuitionistic logic
• scientific article; zbMATH DE number 3910372
• scientific article; zbMATH DE number 975275

zbMATH Keywords

Heyting algebrasHeyting-Brouwer logicsemi Heyting-Brouwer logicsemi-Heyting algebras

Mathematics Subject Classification ID

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

Cites Work

• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• Subtractive logic
• An algebraic approach to non-classical logics
• A survey of abstract algebraic logic
• Title not available (Why is that?)
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• On logics with coimplication
• A Formulae-as-Types Interpretation of Subtractive Logic
• Completeness results for intuitionistic and modal logic in a categorical setting
• Title not available (Why is that?)
• Subdirectly irreducible double Heyting algebras
• A subdirectly irreducible double Heyting algebra which is not simple
• A remark on Gentzen's calculus of sequents
• Synonymous logics
• On some semi-intuitionistic logics
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents
• Semi-intuitionistic logic

Cited In (9)

• A semantical investigation on Brouwer-Zadeh logic
• On some semi-intuitionistic logics
• Title not available (Why is that?)
• Semi-Nelson algebras
• Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications
• Semi-intuitionistic logic
• Semi-Heyting algebras and identities of associative type
• Gentzen-style sequent calculus for semi-intuitionistic logic
• Boulesic-Doxastic Logic

This page was built for publication: The semi Heyting-Brouwer logic

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