L-algebras and three main non-classical logics

Annals of Pure and Applied Logic 173 (7):103121 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103121

Links

PhilArchive



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

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

Corrigendum and addendum to: “L-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]. [REVIEW]Wolfgang Rump - 2023 - Annals of Pure and Applied Logic 174 (3):103209.
Categoricity results for "L"[infinity]kappa>-free algebras.P. C. Eklof - 1988 - Annals of Pure and Applied Logic 37 (1):81.
Intermediate logics and factors of the Medvedev lattice.Andrea Sorbi & Sebastiaan A. Terwijn - 2008 - Annals of Pure and Applied Logic 155 (2):69-85.
On non-self-referential fragments of modal logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.
Algorithmic correspondence and canonicity for non-distributive logics.Willem Conradie & Alessandra Palmigiano - 2019 - Annals of Pure and Applied Logic 170 (9):923-974.
On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Intuitionistic logic and implicit definability.Larisa Maksimova - 2000 - Annals of Pure and Applied Logic 105 (1-3):83-102.
A partially non-proper ordinal beyond L.Vincenzo Dimonte - 2012 - Annals of Pure and Applied Logic 163 (9):1309-1321.
On varieties of cylindric algebras with applications to logic.I. Németi - 1987 - Annals of Pure and Applied Logic 36:235-277.

Analytics

Added to PP
2022-04-07

Downloads
21 (#173,985)

6 months
7 (#1,397,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Linear L-Algebras and Prime Factorization.Wolfgang Rump - 2023 - Studia Logica 111 (1):57-82.

Add more citations

References found in this work

Effect algebras and unsharp quantum logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
Implication connectives in orthomodular lattices.L. Herman, E. L. Marsden & R. Piziak - 1975 - Notre Dame Journal of Formal Logic 16 (3):305-328.

View all 9 references / Add more references