Graduate studies at Western
|Abstract||The Query is reasonable (First Order) Predicate Logic (PL:) is a ”Universal Grammar" for the languages of Elementary Arithmetic, Euclidean Geometry, Set Theory, Boolean Algebra, .... It defines their expressions, their semantic interpretations, and texts, called proofs, that syntactically characterize the boolean semantic entailment relation: P entails Q iff Q is true whenever P is.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Friedrich Wehrung (1993). Boolean Universes Above Boolean Models. Journal of Symbolic Logic 58 (4):1219-1250.
Misao Nagayama (1992). On Boolean Algebras and Integrally Closed Commutative Regular Rings. Journal of Symbolic Logic 57 (4):1305-1318.
Marie la Palme Reyes, John Macnamara, Gonzalo E. Reyes & And Houman Zolfaghari (1994). The Non-Boolean Logic of Natural Language Negation. Philosophia Mathematica 2 (1):45-68.
Ian Pratt-Hartmann (2004). Fragments of Language. Journal of Logic, Language and Information 13 (2):207-223.
Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. American Elsevier Pub. Co..
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
Ed Keenan (1999). Quantification in English is Inherently Sortal. History and Philosophy of Logic 20 (3-4):251-265.
George Lakoff (1970). Linguistics and Natural Logic. Synthese 22 (1-2):151 - 271.
Added to index2009-01-28
Total downloads5 ( #170,343 of 738,687 )
Recent downloads (6 months)0
How can I increase my downloads?