A criterion of functional completeness for \mathfrakb
Studia Logica 33 (2) (1974)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
|
| Through your library | Configure |
Richard Moot & Quintijn Puite (2002). Proof Nets for the Multimodal Lambek Calculus. Studia Logica 71 (3):415-442.
J. Reichbach (1955). Completeness of the Functional Calculus of First Order. Studia Logica 2 (1).
John M. MacIntyre (1977). Transfinite Extensions of Friedberg's Completeness Criterion. Journal of Symbolic Logic 42 (1):1-10.
Richard Friedberg (1957). A Criterion for Completeness of Degrees of Unsolvability. Journal of Symbolic Logic 22 (2):159-160.
A. D. C. Bennett, J. B. Paris & A. Vencovská (2000). A New Criterion for Comparing Fuzzy Logics for Uncertain Reasoning. Journal of Logic, Language and Information 9 (1):31-63.
Torben Braüner (2005). Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81 (2):191 - 226.
Silvio Ghilardi & Pierangelo Miglioli (1999). On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. Studia Logica 63 (3):353-385.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information 12 (2):183-211.
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
Victor K. Finn (1974). A Criterion of Functional Completeness for $\Germ{B}^{3}$. Studia Logica 33 (2):121 - 125.
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #203,804 of 556,888 )Recent downloads (6 months)0How can I increase my downloads? |

