Searching for "The Basic Logic of Proofs." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Functionality in the Basic Logic of Proofs
- …Functionality in the Basic Logic of Proofs Sergei Artemov Steklov Mathematical Institute…
- Cited by 14 (10 self) – Add To MetaCart
-
Syntactical Models and Fixed Points for the Basic Logic of Proofs
- …Syntactical Models and Fixed Points for the Basic Logic of Proofs Tyko Stra��en University…
- Add To MetaCart
-
Two Types of Multiple-Conclusion Systems
- … t in the relevance literature), as well as the additive connectives. 4.1 The Basic Logics and Their Proof Systems…
- Cited by 3 (0 self) – Add To MetaCart
-
On characterizations of truthful mechanisms for combinatorial auctions and scheduling
- …, u we have that f(v, u) = f(α · v, u · v). Adding this assumption does not change the basic logic…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 4.
