Annals of Pure and Applied Logic 165 (12):1832-1863 (2014)

Authors
Nick Bezhanishvili
University of Amsterdam
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2014.07.005
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,739
Through your library

References found in this work BETA

View all 29 references / Add more references

Citations of this work BETA

Lattice Logic as a Fragment of (2-Sorted) Residuated Modal Logic.Chrysafis Hartonas - 2018 - Journal of Applied Non-Classical Logics 29 (2):152-170.
Modal Translation of Substructural Logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.
Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
Multiple-Conclusion Rules, Hypersequents Syntax and Step Frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 54-73.

View all 6 citations / Add more citations

Similar books and articles

Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.
-}$Bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
Bounded BCK‐Algebras and Their Generated Variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Splittings and the Finite Model Property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.
Bounded BCK-Algebras and Their Generated Variety.J. D. Gispert & Antoni Torrens Torrell - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
A Non-Standard Injection Between Canonical Frames.Timothy Surendonk - 1996 - Logic Journal of the IGPL 4 (2):273-282.
The Amalgamation Property for Some Classes of BCK-Algebras.Katarzyna Palasinska - 1985 - Bulletin of the Section of Logic 14 (3):109-112.

Analytics

Added to PP index
2015-08-28

Total views
12 ( #725,242 of 2,340,325 )

Recent downloads (6 months)
2 ( #332,541 of 2,340,325 )

How can I increase my downloads?

Downloads

My notes