Some remarks on axiomatizing logical consequence operations

Logic and Logical Philosophy 14 (1):103-117 (2005)
  Copy   BIBTEX

Abstract

In this paper we investigate the relation between the axiomatization of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization

Categories

Keywords

Reprint years

DOI

10.12775/llp.2005.008

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

The axiomatization of Horst Wessel's strict logical consequence relation.Andrzej Pietruszczak - 2004 - Logic and Logical Philosophy 13:121-138.
A characterization of consequence operations preserving degrees of truth.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (4):159-165.
Introduction.Jacek Malinowski & Rafał Palczewski - 2024 - In Jacek Malinowski & Rafał Palczewski (eds.), Janusz Czelakowski on Logical Consequence. Springer Verlag. pp. 1-6.
The logical relation of consequence.Basil Evangelidis - 2020 - Humanities Bulletin 3 (2):77-90.
Theorie der Konsequenzoperationen und logische Unabhängigkeit.Christian Wallmann - 2010 - Kriterion - Journal of Philosophy 1 (23):5-23.
Meet-Combination of Consequence Systems.Paula Gouveia, João Rasga & Cristina Sernadas - forthcoming - Logic and Logical Philosophy:1-36.
Basic Four-Valued Systems of Cyclic Negations.Oleg Grigoriev & Dmitry Zaitsev - 2022 - Bulletin of the Section of Logic 51 (4):507-533.
On Nonmonotonic Consequence Relations.Alexei Muravitsky - 2021 - Logica Universalis 15 (2):227-249.
On the formalization of Strawson's presupposition.Jacek Malinowski - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):111-118.
On the Transitivity of Logical Consequence without Assuming Monotonicity.Lin Chen & Xuefeng Wen - 2024 - Logica Universalis 18 (3):285-300.

Analytics

Added to PP
2013-11-24

Downloads
92 (#228,488)

6 months
15 (#206,160)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy John Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
Protoalgebraic Logics.Janusz Czelakowski - 2001 - Kluwer Academic Publishers.
Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.

View all 13 references / Add more references