Cargando…
The Connectives /
A comprehensive investigation of the sentence connectives--and, or, if, not--with special attention to their logical properties.
| Autor principal: | |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge, Mass. :
MIT Press,
2011.
|
| Colección: | Book collections on Project MUSE.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a22000004a 4500 | ||
|---|---|---|---|
| 001 | musev2_19784 | ||
| 003 | MdBmJHUP | ||
| 005 | 20230905042123.0 | ||
| 006 | m o d | ||
| 007 | cr||||||||nn|n | ||
| 008 | 111003s2011 mau o 00 0 eng d | ||
| 020 | |a 9780262298834 | ||
| 020 | |z 026229883X | ||
| 020 | |z 9780262016544 | ||
| 020 | |z 0262016540 | ||
| 035 | |a (OCoLC)755580272 | ||
| 040 | |a MdBmJHUP |c MdBmJHUP | ||
| 100 | 1 | |a Humberstone, Lloyd. | |
| 245 | 1 | 4 | |a The Connectives / |c Lloyd Humberstone. |
| 264 | 1 | |a Cambridge, Mass. : |b MIT Press, |c 2011. | |
| 264 | 3 | |a Baltimore, Md. : |b Project MUSE, |c 2014 | |
| 264 | 4 | |c ©2011. | |
| 300 | |a 1 online resource (1512 pages). | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | 0 | |g Machine generated contents note: |g 0. |t Preliminaries -- |g 0.1. |t Connections And Combinations -- |g 0.1.1. |t Relational Connections and Posets -- |g 0.1.2. |t Galois Connections -- |g 0.1.3. |t Lattices and Closure Operations -- |g 0.1.4. |t Modes of Object Combination -- |t Notes and References for [ʹ]0.1 -- |g 0.2. |t Some Algebraic Concepts -- |g 0.2.1. |t Algebras -- |g 0.2.2. |t Derived Operations -- |g 0.2.3. |t Homomorphisms, Subalgebras, Direct Products -- |g 0.2.4. |t Equational Classes of Algebras -- |g 0.2.5. |t Horn Formulas -- |g 0.2.6. |t Fundamental and Derived Objects and Relations: Tuple Systems -- |t Notes and References for [ʹ]0.2 -- |g 1. |t Elements of Sentential Logic -- |g 1.1. |t Truth And Consequence -- |g 1.1.1. |t Languages -- |g 1.1.2. |t Consequence Relations and Valuations -- |g 1.1.3. |t #-Classical Consequence Relations and #-Boolean Valuations -- |g 1.1.4. |t Forcing Consistent Valuations to Be #-Boolean -- |g 1.1.5. |t Two Equations and the `Converse Proposition' Fallacy -- |g 1.1.6. |t Generalized Consequence Relations -- |g 1.1.7. |t Generalized Consequence Relations: Supplementary Discussion -- |g 1.1.8. |t Truth-Tables, and Two More Connectives: Implication and Equivalence -- |g 1.1.9. |t More Hygienic Terminology -- |t Notes and References for [ʹ]1.1 -- |g 1.2. |t Rules And Proof -- |g 1.2.1. |t Sequents and Frameworks -- |g 1.2.2. |t Sequents and (Generalized) Consequence Relations -- |g 1.2.3. |t Sample Natural Deduction System in SET-FMLA -- |g 1.2.4. |t Closer Look at Rules -- |g 1.2.5. |t Semantic Apparatus for Sequents and for Rules -- |g 1.2.6. |t Two Relational Connections -- |g 1.2.7. |t Sample Natural Deduction and Sequent Calculus Systems in SET-SET -- |g 1.2.8. |t Some Other Approaches to Logic in SET-SET -- |g 1.2.9. |t Axiom Systems and the Deduction Theorem -- |t Appendix to [ʹ]1.2: What Is a Logic? -- |t Notes and References for [ʹ]1.2 -- |g 2. |t Survey of Sentential Logic -- |g 2.1. |t Many-Valued Logic And Algebraic Semantics -- |g 2.1.1. |t Many-Valued Logic: Matrices. |
| 520 | |a A comprehensive investigation of the sentence connectives--and, or, if, not--with special attention to their logical properties. | ||
| 546 | |a English. | ||
| 588 | |a Description based on print version record. | ||
| 650 | 7 | |a Logic. |2 fast |0 (OCoLC)fst01002014 | |
| 650 | 7 | |a Language and logic. |2 fast |0 (OCoLC)fst00992279 | |
| 650 | 7 | |a Grammar, Comparative and general |x Connectives. |2 fast |0 (OCoLC)fst00946158 | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 6 | |a Langage et logique. | |
| 650 | 6 | |a Connecteurs (Linguistique) | |
| 650 | 0 | |a Language and logic. | |
| 650 | 0 | |a Grammar, Comparative and general |x Connectives. | |
| 650 | 0 | |a Logic. | |
| 655 | 7 | |a Electronic books. |2 local | |
| 710 | 2 | |a Project Muse. |e distributor | |
| 830 | 0 | |a Book collections on Project MUSE. | |
| 856 | 4 | 0 | |z Texto completo |u https://projectmuse.uam.elogim.com/book/19784/ |
| 945 | |a Project MUSE - Custom Collection | ||
| 945 | |a Project MUSE - Archive Complete Supplement II | ||
| 945 | |a Project MUSE - Archive Language and Linguistics Supplement | ||