Besonderhede van voorbeeld: 3326925176615419030

English

These algebras provide a semantics for classical and intuitionistic logic respectively.

Spanish

Estas álgebras proveen una semántica para las lógicas clásica e intuicionista respectivamente.