Local deductions theorems

Studia Logica 45 (4):377 - 391 (1986)
  Copy   BIBTEX

Abstract

The notion of local deduction theorem (which generalizes on the known instances of indeterminate deduction theorems, e.g. for the infinitely-valued ukasiewicz logic C ) is defined. It is then shown that a given finitary non-pathological logic C admits the local deduction theorem iff the class Matr(C) of all matrices validating C has the C-filter extension property (Theorem II.1).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Deduction theorems for RM and its extensions.Marek Tokarz - 1979 - Studia Logica 38 (2):105 - 111.
Filter distributive logics.Janusz Czelakowski - 1984 - Studia Logica 43 (4):353 - 377.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.

Analytics

Added to PP
2009-01-28

Downloads
27 (#506,730)

6 months
4 (#319,344)

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.
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.
A study of truth predicates in matrix semantics.Tommaso Moraschini - 2018 - Review of Symbolic Logic 11 (4):780-804.

View all 28 citations / Add more citations