Free Heyting Algebras: Revisited (Q2888491)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Free Heyting Algebras: Revisited	scientific article

Statements

scholarly article

0 references

Free Heyting Algebras: Revisited (English)

0 references

Nick Bezhanishvili

0 references

0 references

Algebra and Coalgebra in Computer Science

0 references

publication date

1 June 2012

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-03741-2_18

0 references

A Cook's Tour of the Finitary Non-Well-Founded Sets

0 references

0 references

Gödel algebras free over finite distributive lattices

0 references

Free Modal Algebras: A Coalgebraic Perspective

0 references

Distributive Lattice-Structured Ontologies

0 references

Bounded distributive lattices with strict implication

0 references

0 references

0 references

An algebraic theory of normal forms

0 references

Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics

0 references

0 references

Coalgebraic modal logic of finite rank

0 references

The Goldblatt-Thomason Theorem for Coalgebras

0 references

Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics

0 references

PSPACE bounds for rank-1 modal logics

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-03741-2_18

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2888491

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2888491&oldid=35281875"