Every functionally complete $m$-valued logic has a Post-complete axiomatization
Notre Dame Journal of Formal Logic 11 (1):106-106 (1970)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesR. L. Graham (1967). On N-Valued Functionally Complete Truth Functions. Journal of Symbolic Logic 32 (2):190-195.
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Václav Pinkava (1978). On a Class of Functionally Complete Multi-Valued Logical Calculi. Studia Logica 37 (2):205 - 212.
Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4).
Robert Goldblatt & Tomasz Kowalski (forthcoming). The Power of a Propositional Constant. Journal of Philosophical Logic:1-20.
Reiner Hähnle (1998). Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Studia Logica 61 (1):101-121.
M. Reynolds (2001). An Axiomatization of Full Computation Tree Logic. Journal of Symbolic Logic 66 (3):1011-1057.
Helena Rasiowa (1979). Algorithmic Logic. Multiple-Valued Extensions. Studia Logica 38 (4):317 - 335.
Gerald J. Massey (1967). Binary Connectives Functionally Complete by Themselves in S5 Modal Logic. Journal of Symbolic Logic 32 (1):91-92.
Rohan French (2012). Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants. Notre Dame Journal of Formal Logic 53 (4):549-556.
Anand Pillay & Charles Steinhorn (1987). On Dedekind Complete o-Minimal Structures. Journal of Symbolic Logic 52 (1):156-164.
David Fernández-Duque (2012). A Sound and Complete Axiomatization for Dynamic Topological Logic. Journal of Symbolic Logic 77 (3):947-969.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #180,404 of 556,803 )Recent downloads (6 months)1 ( #64,847 of 556,803 )How can I increase my downloads? |
My notes
Discussion
