The Logic of Positive Engagement
An institutional approach to positive coalgebraic logic
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
Compatible Functions in Algebras Associated to Extensions of Positive Logic
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
Show all results sharing this subject:
1 A logic system in which logic 1 is assigned to the higher voltage and logic 0 to the lower voltage.
2 A logic system in which all the Boolean variables and Boolean functions behave as described.
Compare negative logic.
A Dictionary of Computing »
See all related items in Oxford Index »
Search for the text `positive logic' 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?