A calculus for the common rules of ∧ and ∨

Studia Logica 48 (4):531-537 (1989)
  Copy   BIBTEX

Abstract

We provide a finite axiomatization of the consequence , i.e. of the set of common sequential rules for and . Moreover, we show that has no proper non-trivial strengthenings other than and . A similar result is true for , but not, e.g., for +.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370205

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,836

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

Axiomatization of the de Morgan type rules.B. Herrmann & W. Rautenberg - 1990 - Studia Logica 49 (3):333 - 343.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Strongly finite logics: finite axiomatizability and the problem of supremum.Piotr Wojtylak - 1979 - Bulletin of the Section of Logic 8 (2):99-111.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Axiomatizing non-deterministic many-valued generalized consequence relations.Sérgio Marcelino & Carlos Caleiro - 2019 - Synthese 198 (S22):5373-5390.
Common knowledge: finite calculus with syntactic cut-elimination procedure.Francesca Poggiolesi & Brian Hill - 2015 - Logique Et Analyse 58 (230):279-306.
O is not enough.J. B. Paris & R. Simmonds - 2009 - Review of Symbolic Logic 2 (2):298-309.

Analytics

Added to PP
2009-01-28

Downloads
85 (#260,392)

6 months
19 (#153,504)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.
Aggregation and idempotence.Lloyd Humberstone - 2013 - Review of Symbolic Logic 6 (4):680-708.
Negation by iteration.I. L. Humberstone - 1995 - Theoria 61 (1):1-24.
False though partly true – an experiment in logic.Lloyd Humberstone - 2003 - Journal of Philosophical Logic 32 (6):613-665.

View all 9 citations / Add more citations

References found in this work

2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.

Add more references