An axiomatization of the logic with the rough quantifier
Journal of Symbolic Logic 56 (2):608-617 (1991)
| 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. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
Kim Bruce & H. J. Keisler (1979). $L_a(\Finv)$. Journal of Symbolic Logic 44 (1):15 - 28.
Kosta Došen (1992). The First Axiomatization of Relevant Logic. Journal of Philosophical Logic 21 (4):339 - 356.
Theodore Hailperin (1992). Herbrand Semantics, the Potential Infinite, and Ontology-Free Logic. History and Philosophy of Logic 13 (1):69-90.
Žarko Mijajlović (1985). On the Definability of the Quantifier “There Exist Uncountably Many”. Studia Logica 44 (3):257 - 264.
M. Reynolds (2001). An Axiomatization of Full Computation Tree Logic. Journal of Symbolic Logic 66 (3):1011-1057.
Alberto Zanardo (1990). Axiomatization of 'Peircean' Branching-Time Logic. Studia Logica 49 (2):183 - 195.
Michał Krynicki & Alistair H. Lachlan (1979). On the Semantics of the Henkin Quantifier. Journal of Symbolic Logic 44 (2):184-200.
Michiel Van Lambalgen (1990). The Axiomatization of Randomness. Journal of Symbolic Logic 55 (3):1143 - 1167.
Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,265 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
