Polymodal Logics of Commuting Functions
Treating Partiality in a Logic of Total Functions
Compatible Functions in Algebras Associated to Extensions of Positive Logic
Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
A Logic of Comparative Support: Qualitative Conditional Probability Relations Representable by Popper Functions
Show all results sharing this subject:
Another name for Boolean function.
A Dictionary of Computing »
See all related items in Oxford Index »
Search for the text `logic function' anywhere in Oxford Index »
Users without a subscription are not able to see the full content. Please,
or login to access all content.
Forgot your password?