Dummet's LC has the interpolation property

Bulletin of the Section of Logic 7 (2):58-60 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

Interpolation in Normal Extensions of the Brouwer Logic.Zofia Kostrzycka - 2016 - Bulletin of the Section of Logic 45 (3/4).
Restricting the contraction axiom in Dummett's LC: a sublogic of LC with the Converse Ackermann Property, the logic LCo.Francisco Salto, José M. Méndez & Gemma Robles - 2001 - Bulletin of the Section of Logic 30 (3):139-146.
Interpolation Property on Visser's Formal Propositional Logic.Majid Alizadeh & Masoud Memarzadeh - 2022 - Bulletin of the Section of Logic 51 (3):297-316.
A cut-free Gentzen calculus with subformula property for first-degree entailments in lc.Alexej P. Pynko - 2003 - Bulletin of the Section of Logic 32 (3):137-146.
The implicational fragment of dummet's LC.R. A. Bull - 1962 - Journal of Symbolic Logic 27 (2):189-194.
Commutative bck-algebras do not enjoy the interpolation property.Stanis law Zachorowski - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
Strong amalgamation property of diagonalizable algebras.Irena Janicka-Zuk - 1983 - Bulletin of the Section of Logic 12 (3):105-108.
Algebraic Characterization of the Local Craig Interpolation Property.Zalán Gyenis - 2018 - Bulletin of the Section of Logic 47 (1):45-58.
Propositional Dynamic Logic has interpolation.Tomasz Kowalski - 2001 - Bulletin of the Section of Logic 30 (1):33-39.
Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references