scientific article; zbMATH DE number 7536561
From MaRDI portal
Publication:5863853
zbMath1497.03070MaRDI QIDQ5863853
Publication date: 3 June 2022
Full work available at URL: https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-38-number-1-2-2022/mvlsc-38-1-2-p-81-114/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hilbert algebramodal operatormodal algebratriplequasi-decompositioncompatible meetclosure endomorphismtriple representationGlivenko operator
Other algebras related to logic (03G25) Semilattices (06A12) Automorphisms and endomorphisms of algebraic structures (08A35)
Cites Work
- Topoi. The categorial analysis of logic. Rev. ed
- Modal operators on Heyting algebras
- An algebraic approach to non-classical logics
- Binomial pairs, semi-Brouwerian and Brouwerian semilattices
- Relative pseudo-complements, join-extensions, and meet-retractions
- Algebraic aspects of relatively pseudocomplemented posets
- Hilbert algebras as implicative partial semilattices
- A note on implicative models
- Compatible elements in implicative models
- Pseudocomplemented and Implicative Semilattices
- Computational types from a logical perspective
- Implicative Semi-Lattices
- NEUTRAL OPERATORS AND TRIPLE REPRESENTATION
- Implicative Homomorphisms with Finite Ranges
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: