Recommendations
Cites work
- scientific article; zbMATH DE number 1612555 (Why is no real title available?)
- scientific article; zbMATH DE number 5510319 (Why is no real title available?)
- scientific article; zbMATH DE number 3689368 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A Formulae-as-Types Interpretation of Subtractive Logic
- A remark on Gentzen's calculus of sequents
- A subdirectly irreducible double Heyting algebra which is not simple
- A survey of abstract algebraic logic
- An algebraic approach to non-classical logics
- Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
- Completeness results for intuitionistic and modal logic in a categorical setting
- Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- On logics with coimplication
- On some semi-intuitionistic logics
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- Semi-Heyting algebras term-equivalent to Gödel algebras
- Semi-intuitionistic logic
- Subdirectly irreducible double Heyting algebras
- Subtractive logic
- Synonymous logics
Cited in
(9)- A semantical investigation on Brouwer-Zadeh logic
- On some semi-intuitionistic logics
- scientific article; zbMATH DE number 698627 (Why is no real title available?)
- 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)
