On the Deductive System of the Order of an Equationally Orderable Quasivariety

Studia Logica 104 (3):547-566 (2016)
  Copy   BIBTEX

Abstract

We consider the equationally orderable quasivarieties and associate with them deductive systems defined using the order. The method of definition of these deductive systems encompasses the definition of logics preserving degrees of truth we find in the research areas of substructural logics and mathematical fuzzy logic. We prove several general results, for example that the deductive systems so defined are finitary and that the ones associated with equationally orderable varieties are congruential.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-016-9650-7

Links

PhilArchive



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

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

Algebraizable logics with a strong conjunction and their semi-lattice based companions.Ramon Jansana - 2012 - Archive for Mathematical Logic 51 (7-8):831-861.
Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Implicational (semilinear) logics I: a new hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
Categorical Abstract Algebraic Logic: Models of π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ.Albert J. J. Anglberger & Jonathan Lukic - 2015 - Studia Logica 103 (5):985-1003.
Fully Fregean logics.Sergei Babyonyshev - 2003 - Reports on Mathematical Logic:59-77.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.George Voutsadakis - 2013 - Studia Logica 101 (4):849-899.
Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
Canonical extensions for congruential logics with the deduction theorem.Mai Gehrke, Ramon Jansana & Alessandra Palmigiano - 2010 - Annals of Pure and Applied Logic 161 (12):1502-1519.
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.

Analytics

Added to PP
2016-02-08

Downloads
22 (#690,757)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ramon Jansana Ferrer
Universitat de Barcelona

Citations of this work

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Protoalgebraic Logics.Janusz Czelakowski - 2001 - Kluwer Academic Publishers.
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.

View all 20 references / Add more references