Fregean logics with the multiterm deduction theorem and their algebraization

&
Studia Logica 78 (1-2):171 - 212 (2004)
  Copy   BIBTEX

Abstract

A deductive system (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T, i.e., the binary relation between formulas.

Categories

Keywords

Reprint years

2005

DOI

10.1007/s11225-005-1212-3

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

Selfextensional Logics with a Conjunction.Ramon Jansana - 2006 - Studia Logica 84 (1):63-104.
Review of protoalgebraic logics by J. Czelakowski. [REVIEW]Raimon Elgueta - 2003 - Studia Logica 74 (1-2):313 - 342.
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Fully Fregean logics.Sergei Babyonyshev - 2003 - Reports on Mathematical Logic:59-77.
A logic for reasoning about relative similarity.Beata Konikowska - 1997 - Studia Logica 58 (1):185-226.
Quasi-completeness in non-Fregean logic.Roman Suszko - 1971 - Studia Logica 29 (1):7-16.
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
Quasivarieties of logic, regularity conditions and parameterized algebraization.G. Barbour & J. Raftery - 2003 - Studia Logica 74 (1-2):99 - 152.
Negative Equivalence of Extensions of Minimal Logic.Sergei P. Odintsov - 2004 - Studia Logica 78 (3):417-442.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.

Analytics

Added to PP
2009-01-28

Downloads
84 (#249,427)

6 months
17 (#173,529)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
A study of truth predicates in matrix semantics.Tommaso Moraschini - 2018 - Review of Symbolic Logic 11 (4):780-804.
A computational glimpse at the Leibniz and Frege hierarchies.Tommaso Moraschini - 2018 - Annals of Pure and Applied Logic 169 (1):1-20.

View all 9 citations / Add more citations

References found in this work

Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Sur les Algèbres de Hilbert.Antonio Diego, Jean Porte & Luisa Iturrioz - 1970 - Journal of Symbolic Logic 35 (1):139-139.

Add more references