Algebraization of the Three-valued BCK-logic

&
Mathematical Logic Quarterly 48 (2):163-178 (2002)
  Copy   BIBTEX

Abstract

In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivalent to the equivalent quasivariety semantics for the “Three-valued BCK-logic”. As a consequence we find an axiomatic definition of the above system.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200202)48:2<163::aid-malq163>3.0.co;2-b

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Algebraization of the Three‐valued BCK‐logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2002 - Mathematical Logic Quarterly 48 (2):163-178.
Algebraization of the Three-valued BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2002 - Mathematical Logic Quarterly 48 (2):163-178.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
Linearization of the BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Review: C.C. Chang, Algebraization of Infinitely Many-Valued Logic; C. C. Chang, Algebraic Analysis of Many Valued Logics; C. C. Chang, A New Proof of the Completeness of the Lukasiewicz Axioms. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics.Richard DeWitt - 2005 - Journal of Philosophical Logic 34 (5-6):545-560.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Kleene's three valued logics and their children.Melvin Fitting - unknown

Analytics

Added to PP
2017-02-17

Downloads
2 (#1,808,860)

6 months
2 (#1,206,222)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Negation and BCK‐algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Negation and BCK‐algebras.Francisco García Olmedo & Antonio Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.

Add more citations

References found in this work

No references found.

Add more references