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

Authors
Ramon Jansana Ferrer
Universitat de Barcelona
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.
Keywords Abstract algebraic logic  Logics preserving degrees of truth  Logics given by an order  Selfextensional logics  Semilattice-based logics  Hilbert-based logics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-016-9650-7
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: 62,481
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Positive Modal Logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.
Selfextensional Logics with a Conjunction.Ramon Jansana - 2006 - Studia Logica 84 (1):63-104.
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.

View all 18 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

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.
Categorical Abstract Algebraic Logic: Models of Π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Fully Fregean Logics.Sergei Babyonyshev - 2003 - Reports on Mathematical Logic:59-77.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.

Analytics

Added to PP index
2016-02-08

Total views
13 ( #741,997 of 2,446,293 )

Recent downloads (6 months)
1 ( #456,806 of 2,446,293 )

How can I increase my downloads?

Downloads

My notes