Year: 2024
Type: article
Abstract: An algebraic proof of the Nishimura theorem on one-generated Heyting algebras is presented.
Source: Logics
Author: Alex Citkin
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
Estimated APC paid: $1,137
OpenAlex ID: W4405281213