Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003302826/catalog> ?p ?o. }

• catalog contributor b4795750.
• catalog created "1994.".
• catalog date "1994".
• catalog date "1994.".
• catalog dateCopyrighted "1994.".
• catalog description "Includes bibliographical references (p. [391]-392) and index.".
• catalog description "ch. 10. Intuitionistic logic -- 1. The motivation for intuitionistic logic -- 2. Semantic consequence in intuitionistic sentential logic -- 3. Intuitionistic monadic predicate logic -- ch. 11. Fuzzy logic -- 1. Sorites paradoxes -- 2. Degrees of truth -- 3. Fuzzy semantics for LFOL -- 4. Resolution of the paradoxes -- Appendix : Using MacLogic -- Solutions to selected exercises -- Bibliography -- Index.".
• catalog description "ch. 4. Natural deduction in sentential logic -- 1. The concept of proof -- 2. Rules for conjunction and the conditional -- 3. Sequents and theorems -- 4. Rules for negation -- 5. Rules for disjunction -- 6. The biconditional -- 7. Heuristics -- 8. Sequent and theorem introduction -- 9. Alternative formats for proofs -- 10. Systems equivalent to NK -- 11. Semantic and deductive consequence compared -- 12. Summary -- pt. 2. Monadic predicate logic -- ch. 5. Predication and quantification in English -- 1. A different type of argument -- 2. Further steps in symbolization : the existential quantifier -- 3. More symbolizations : the universal quantifier -- 4. The syntax of LMPL -- 5. Summary -- ch. 6. Validity and provability in monadic predicate logic -- 1. Semantics for the quantifiers -- 2. Constructing counterexamples -- 3. Deductive consequence : quantifiers in NK -- 4. The rule of existential elimination -- 5. Extensions of sequent introduction -- 5. Extensions of sequent introduction -- 6. Decision procedures -- 7. Tableaux for monadic predicate logic -- 8. Alternative formats -- 9. Summary.".
• catalog description "pt. 1. Classical sentential logic -- ch. 1. What is logic? -- 1. Arguments -- 2. Logical form and validity -- 3. Complications -- 4. A note to the reader -- 5. Summary -- ch. 2. First steps in symbolization -- 1. The sentential connectives -- 2. Negations, conjunctions and disjunctions -- 3. Conditionals and biconditionals -- 4. Symbolizing entire arguments -- 5. The syntax of the formal language -- 6. Quotation, selective and otherwise -- 7. Summary -- ch. 3. Semantics for sentential logic -- 1. Truth-functions -- 2. Classifying formulae -- 3. Testing for validity by exhaustive search -- 4. Testing for validity by constructing interpretations -- 5. Testing for validity with semantic tableaux -- 6. Properties of semantic consequence -- 7. Expressive completeness -- 8. Non-truth-functional connectives -- 9. Summary.".
• catalog description "pt. 3. First-order logic with identity -- ch. 7. Advanced symbolizations -- 1. N-place predicates -- 2. Identity, number and descriptions -- 3. The syntax of LFOL -- 4. Ambiguity -- 5. Summary -- ch. 8. Validity and provability in first-order logic with identity -- 1. Interpretations in LFOL -- 2. Demonstrating invalidity -- 3. Proofs in NK -- 4. Rules for identity in NK -- 5. Properties of binary relations -- 6. Alternative formats -- 7. Semantic consequence, deductive consequence and decidability -- 8. Some limitations of first-order logic -- 9. Summary -- pt. 4. Extensions and alternatives to classical logic -- ch. 9. Modal logic -- 1. Modal operators -- 2. A definition of semantic consequence for sentential modal logic -- 3. The canonical translation -- 4. Natural deduction in S5 -- 5. First-order modal logic : S5 semantics -- 6. First-order modal logic : natural deduction -- 7. Summary.".
• catalog extent "xii, 397 p. :".
• catalog identifier "0195080289 (acid-free paper)".
• catalog identifier "0195080297 (pbk. : acid-free paper)".
• catalog issued "1994".
• catalog issued "1994.".
• catalog language "eng".
• catalog publisher "New York : Oxford University Press,".
• catalog subject "160 20".
• catalog subject "BC135 .F57 1994".
• catalog subject "Logic, Modern 20th century.".
• catalog subject "Logic, Symbolic and mathematical.".
• catalog tableOfContents "ch. 10. Intuitionistic logic -- 1. The motivation for intuitionistic logic -- 2. Semantic consequence in intuitionistic sentential logic -- 3. Intuitionistic monadic predicate logic -- ch. 11. Fuzzy logic -- 1. Sorites paradoxes -- 2. Degrees of truth -- 3. Fuzzy semantics for LFOL -- 4. Resolution of the paradoxes -- Appendix : Using MacLogic -- Solutions to selected exercises -- Bibliography -- Index.".
• catalog tableOfContents "ch. 4. Natural deduction in sentential logic -- 1. The concept of proof -- 2. Rules for conjunction and the conditional -- 3. Sequents and theorems -- 4. Rules for negation -- 5. Rules for disjunction -- 6. The biconditional -- 7. Heuristics -- 8. Sequent and theorem introduction -- 9. Alternative formats for proofs -- 10. Systems equivalent to NK -- 11. Semantic and deductive consequence compared -- 12. Summary -- pt. 2. Monadic predicate logic -- ch. 5. Predication and quantification in English -- 1. A different type of argument -- 2. Further steps in symbolization : the existential quantifier -- 3. More symbolizations : the universal quantifier -- 4. The syntax of LMPL -- 5. Summary -- ch. 6. Validity and provability in monadic predicate logic -- 1. Semantics for the quantifiers -- 2. Constructing counterexamples -- 3. Deductive consequence : quantifiers in NK -- 4. The rule of existential elimination -- 5. Extensions of sequent introduction -- 5. Extensions of sequent introduction -- 6. Decision procedures -- 7. Tableaux for monadic predicate logic -- 8. Alternative formats -- 9. Summary.".
• catalog tableOfContents "pt. 1. Classical sentential logic -- ch. 1. What is logic? -- 1. Arguments -- 2. Logical form and validity -- 3. Complications -- 4. A note to the reader -- 5. Summary -- ch. 2. First steps in symbolization -- 1. The sentential connectives -- 2. Negations, conjunctions and disjunctions -- 3. Conditionals and biconditionals -- 4. Symbolizing entire arguments -- 5. The syntax of the formal language -- 6. Quotation, selective and otherwise -- 7. Summary -- ch. 3. Semantics for sentential logic -- 1. Truth-functions -- 2. Classifying formulae -- 3. Testing for validity by exhaustive search -- 4. Testing for validity by constructing interpretations -- 5. Testing for validity with semantic tableaux -- 6. Properties of semantic consequence -- 7. Expressive completeness -- 8. Non-truth-functional connectives -- 9. Summary.".
• catalog tableOfContents "pt. 3. First-order logic with identity -- ch. 7. Advanced symbolizations -- 1. N-place predicates -- 2. Identity, number and descriptions -- 3. The syntax of LFOL -- 4. Ambiguity -- 5. Summary -- ch. 8. Validity and provability in first-order logic with identity -- 1. Interpretations in LFOL -- 2. Demonstrating invalidity -- 3. Proofs in NK -- 4. Rules for identity in NK -- 5. Properties of binary relations -- 6. Alternative formats -- 7. Semantic consequence, deductive consequence and decidability -- 8. Some limitations of first-order logic -- 9. Summary -- pt. 4. Extensions and alternatives to classical logic -- ch. 9. Modal logic -- 1. Modal operators -- 2. A definition of semantic consequence for sentential modal logic -- 3. The canonical translation -- 4. Natural deduction in S5 -- 5. First-order modal logic : S5 semantics -- 6. First-order modal logic : natural deduction -- 7. Summary.".
• catalog title "Modern logic : a text in elementary symbolic logic / Graeme Forbes.".
• catalog type "text".