On standard consequence operations in the implicationless language

Bulletin of the Section of Logic 8 (4):202-204 (1979)
  Copy   BIBTEX

Abstract

This paper is a continuation of [1] and so all the concepts and notations introduced in [1] will be used freely. We shall consider here the lattice of all standard consequence operations in the implicationless language intermediate between the intuitionistic and the classical consequence operation. The problem of characterizing this lattice was suggested by Prof. Wolfgang Rautenberg. We shall show that the lattice in question is denumerable and it is isomorphic to a chain of type ∗

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

  • This entry has no external links. Add one.
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

Deduction, Ordering, and Operations in Quantum Logic.Normal D. Megill & Mladen Pavičić - 2002 - Foundations of Physics 32 (3):357-378.
A Finite Base For The Consequence Operation.Pawel Idziak - 1983 - Bulletin of the Section of Logic 12 (2):76-80.
A representation theorem for the lattice of standard consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (3):235 - 237.
Remarks on characteristic consequence operation.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (1):11-20.
Bilattices with Implications.Félix Bou & Umberto Rivieccio - 2013 - Studia Logica 101 (4):651-675.
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
A Shared Framework for Consequence Operations and Abstract Model Theory.Christian Wallmann - 2013 - Logica Universalis 7 (2):125-145.
Adequate Semantics For Non-pseudoaxiomatic Consequence Operations.Iwona Marek - 1986 - Bulletin of the Section of Logic 15 (2):66-69.
On Pairs of Dual Consequence Operations.Urszula Wybraniec-Skardowska & Jacek Waldmajer - 2011 - Logica Universalis 5 (2):177-203.
Normative consequence relation and consequence operations on the language of dyadic deontic logic.Kazimierz Swirydowicz - 1994 - Theoria 60 (1):27-47.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Theorie der Konsequenzoperationen und logische Unabhängigkeit.Christian Wallmann - 2010 - Kriterion - Journal of Philosophy 23 (1):5-23.
An example concerning the lattice of the structural consequence operations.Wieslaw Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):48-52.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references