Abstract
We investigate solutions of fixed point equations related to the negation as “failure to prove” rule, and show their relevance to minimal models.
Get full access to this article
View all access options for this article.
Select search scope: search across all journals or within the current journal
We investigate solutions of fixed point equations related to the negation as “failure to prove” rule, and show their relevance to minimal models.
View all access options for this article.