A general algebraic semantics for sentential logics

A general algebraic semantics for sentential logics

by Font, Josep Maria

Type Book
Rate 0.0 /5

An exposition of the approach to the algebraization of sententiallogics developed by the Barcelona logic group.

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :A general algebraic semantics for sentential logics / Josep MariaFont, Ramon Jansana.

Summary

An exposition of the approach to the algebraization of sententiallogics developed by the Barcelona logic group.

Read More ↓

Edition Statements

  • Publication Date:2017.
  • Edition:Second edition

Publication Statements

The Physical Object

  • Description:1 ressource en ligne.

Edition Identifiers

  • ISBN:1316716910, 1316748944, 1316752801, 1316754731, 9781316716915, 9781316748947, 9781316752807, 9781316754733
  • oclc:on1341215577
  • LC Classification:QA10
  • Dewey Decimal:511.3/24

Table of Contents

Cover; Half-title ; Series information ; Title page ; Copyright information ; Table of contents ; INTRODUCTION; Some history; What is a logic?; Outline of the contents; Acknowledgements; Note to the second edition (2009); CHAPTER 1 GENERALITIES ON ABSTRACT LOGICS AND SENTENTIAL LOGICS; Algebras; Formulas, equations, interpretations; Matrices; Abstract logics; Logical congruences; Bilogical morphisms and logical quotients; Sentential logics; S-filters and S-matrices; The classes Alg* S and K[sub(S)] ; CHAPTER 2 ABSTRACTLOGICS AS MODELS OF SENTENTIAL LOGICS; 2.1. Models and full models

2.2. S-algebras2.3. The lattice of full models over an algebra; 2.4. Full models and metalogical properties; The congruence property; The Property of Conjunction; The Deduction-Detachment Theorem; The Property of Disjunction; The two forms of Reductio ad Absurdum; Some rules of introduction of modality; CHAPTER 3 APPLICATIONS TO PROTOALGEBRAIC AND ALGEBRAIZABLE LOGICS; CHAPTER 4 ABSTRACT LOGICS AS MODELS OF GENTZEN SYSTEMS; 4.1. Gentzen systems and their models; 4.2. Selfextensional logics with Conjunction; 4.3. Selfextensionallogics having the Deduction Theorem

5.4.1. Two relevance logics5.4.2. Set…

Read More ↓

Subjects

Algebraic logic Livres numériques Logique algébrique

Writers

Font, Josep Maria Jansana, Ramón

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • A General Algebraic Semantics for Sentential Logi…

    PDF · 859.3 KB · updated
    Login →

  • A General Algebraic Semantics for Sentential Logi…

    PDF · 730.4 KB · updated
    Login →
Log in to request a copy