Displaying similar documents to “On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.”

A remark on the Moore theorem.

Ziomek, Marcin (2006)

Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Universitatis Iagellonicae Acta Mathematica

Similarity: