A contractionless semilattice semantics
Journal of Symbolic Logic 52 (2):526-529 (1987)
| 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesA. B. Romanowska & J. D. H. Smith (1996). Semilattice-Based Dualities. Studia Logica 56 (1-2):225 - 261.
Antonio Montalbán (2003). Embedding Jump Upper Semilattices Into the Turing Degrees. Journal of Symbolic Logic 68 (3):989-1014.
Hisato Muraki (1999). Non-Distributive Upper Semilattice of Kleene Degrees. Journal of Symbolic Logic 64 (1):147-158.
Steve Giambrone & Robert K. Meyer (1989). Completeness and Conservative Extension Results for Some Boolean Relevant Logics. Studia Logica 48 (1):1 - 14.
Klaus Ambos-Spies, André Nies & Richard A. Shore (1992). The Theory of the Recursively Enumerable Weak Truth-Table Degrees is Undecidable. Journal of Symbolic Logic 57 (3):864-874.
J. M. Méndez & F. Salto (2000). Intuitionistic Propositional Logic Without 'Contraction' but with 'Reductio'. Studia Logica 66 (3):409-418.
Yuichi Komori (1986). A New Semantics for Intuitionistic Predicate Logic. Studia Logica 45 (1):9 - 17.
Gemma Robles & José M. Méndez (2011). A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism. Logic Journal of the IGPL 19 (1):18-32.
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
Steve Giambrone & Aleksandar Kron (1987). Four Relevant Gentzen Systems. Studia Logica 46 (1):55 - 71.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,473 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
