A Generalization of Maksimova’s Criterion for the Disjunction Property

In Sergei Odintsov (ed.), Larisa Maksimova on Implication, Interpolation, and Definability. Springer Verlag (2018)
  Copy   BIBTEX

Abstract

We prove that Maksimova’s Criterion of disjunctive property for intermediate logics can be extended to the varieties with equationally definable principal meets in which disjunction is introduced via principal intersection terms. We also give a necessary condition for semiconstructvity, and show how it can be applied to admissibility of multiple-conclusion rules expressing semiconstructivity.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-319-69917-2_6

Links

PhilArchive



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

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

An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
A New Solution to a Problem of Hosoi and Ono.Michael Zakharyaschev - 1994 - Notre Dame Journal of Formal Logic 35 (3):450-457.
A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics.Guillermo Badia - 2017 - Australasian Journal of Logic 14 (1).
On the Negative Disjuntion Property.Craig Graham McKay - 2018 - Australasian Journal of Logic 15 (1).
On partial disjunction properties of theories containing Peano arithmetic.Taishi Kurahashi - 2018 - Archive for Mathematical Logic 57 (7-8):953-980.
On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Rasiowa–Harrop Disjunction Property.Gilda Ferreira - 2017 - Studia Logica 105 (3):649-664.
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Structural completeness and the disjunction property of intermediate logics.Tadeusz Prucnal - 1975 - Bulletin of the Section of Logic 4 (2):72-73.
A note on admissible rules and the disjunction property in intermediate logics.Alexander Citkin - 2012 - Archive for Mathematical Logic 51 (1):1-14.
Comparison of Decision Learning Models Using the Generalization Criterion Method.Woo-Young Ahn, Jerome R. Busemeyer, Eric-Jan Wagenmakers & Julie C. Stout - 2008 - Cognitive Science 32 (8):1376-1402.
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
Empirical meaningfulness and intuitionistic logic.John Myhill - 1972 - Philosophy and Phenomenological Research 33 (2):186-191.
A method to single out maximal propositional logics with the disjunction property II.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (2):117-168.

Analytics

Added to PP
2019-01-28

Downloads
5 (#1,540,420)

6 months
2 (#1,198,900)

Historical graph of downloads
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