Monotone Subintuitionistic Logic: Duality and Transfer Results

Notre Dame Journal of Formal Logic 63 (2) (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Semi-monotone series of ordinals.John L. Hickman - 1979 - Notre Dame Journal of Formal Logic 20 (1):196-200.
Duality in finite many-valued logic.Rangaswamy V. Setlur - 1971 - Notre Dame Journal of Formal Logic 12 (2):188-194.
Topological duality for diagonalizable algebras.Claudio Bernardi & Paola D'Aquino - 1988 - Notre Dame Journal of Formal Logic 29 (3):345-364.
Note on duality in propositional calculus.Chandler Works & Wolfgang Yourgrau - 1968 - Notre Dame Journal of Formal Logic 9 (3):284-288.
A remark on note on duality. Sibajiban - 1970 - Notre Dame Journal of Formal Logic 11 (1):99-100.
Some compactness results for modal logic.George F. Schumm - 1989 - Notre Dame Journal of Formal Logic 30 (2):285-290.
Some results on finite axiomatizability in modal logic.E. J. Lemmon - 1965 - Notre Dame Journal of Formal Logic 6 (4):301-308.
Two results in Leśniewski's mereology.Robert E. Clay - 1973 - Notre Dame Journal of Formal Logic 14 (4):559-564.
Two results in Leśniewski's mereology.Robert E. Clay - 1973 - Notre Dame Journal of Formal Logic 14:559.

Analytics

Added to PP
2022-06-10

Downloads
20 (#792,731)

6 months
4 (#862,832)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.

View all 15 references / Add more references