scientific article

zbMATH Open0648.03015MaRDI QIDQ3792661

Jair Minoro Abe

Publication date: 1987

Title of this publication is not available (Why is that?)

zbMATH Keywords

filterultrafilterparacomplete logicimplicative latticecompleteness theorem for \(P_ 1\)Curry algebrasparacomplete propositional calculi

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10)

Related Items (3)

The Significance of the Curry-Howard Isomorphism ⋮ Curry algebras P\(\tau\) ⋮ Title not available (Why is that?)

Recommendations

• Curry algebras \(N_ 1\) 👍 👎
• An algebraic version of a theorem of Kurihara 👍 👎
• Note on algebras 👍 👎
• Curry algebras P\(\tau\) 👍 👎
• A note on pervasive algebras 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3792661)