The Algebra of Logic and the Theory of Deduction

Journal of Symbolic Logic 37 (4):755-755 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272435

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Hugues Leblanc, The Algebra of Logic and the Theory of Deduction. [REVIEW]Gerald Standley - 1972 - Journal of Symbolic Logic 37 (4):755-755.
The algebra of logic and the theory of deduction.Hugues Leblanc - 1961 - Journal of Philosophy 58 (19):553-558.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
On weakening the Deduction Theorem and strengthening Modus Ponens.Félix Bou, Josep Maria Font & José Luis García Lapresta - 2004 - Mathematical Logic Quarterly 50 (3):303-324.
Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic, and Probability Theory.Theodore Hailperin - 1976
Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
A Labelled Deduction System for Kanger's Theory of Rights.Berislav Žarnić - 2006 - Filozofska Istrazivanja 26 (3):731-755.
Logic, Algebra, and Computation: International Summer School.Friedrich L. Bauer - 2012 - Springer.
Independence-friendly cylindric set algebras.Allen Mann - 2009 - Logic Journal of the IGPL 17 (6):719-754.

Analytics

Added to PP
2017-02-21

Downloads
8 (#1,321,511)

6 months
1 (#1,475,915)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references