An algebraic approach to the Heyting-Brouwer predicate calculus
From MaRDI portal
Publication:4141242
DOI10.4064/fm-96-2-127-135zbMath0365.02047OpenAlexW748665630MaRDI QIDQ4141242
Publication date: 1977
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/215035
Logical aspects of Boolean algebras (03G05) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
Related Items (4)
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets ⋮ Applications of Kripke models to Heyting-Brouwer logic ⋮ The pleasures of anticipation: Enriching intuitionistic logic
This page was built for publication: An algebraic approach to the Heyting-Brouwer predicate calculus
