Division by zero in non-involutive meadows

&
Journal of Applied Logic 13 (1):1-12 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2014.10.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,154

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

Residuated fuzzy logics with an involutive negation.Francesc Esteva, Lluís Godo, Petr Hájek & Mirko Navara - 2000 - Archive for Mathematical Logic 39 (2):103-124.
Inversive meadows and divisive meadows.J. A. Bergstra & C. A. Middelburg - 2011 - Journal of Applied Logic 9 (3):203-220.
A note on the non-involutive Routley star.Gemma Robles - 2008 - Bulletin of the Section of Logic 37 (1):19-27.
Equations for formally real meadows.Jan A. Bergstra, Inge Bethke & Alban Ponse - 2015 - Journal of Applied Logic 13 (2):1-23.
On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
Transformation of fractions into simple fractions in divisive meadows.J. A. Bergstra & C. A. Middelburg - 2016 - Journal of Applied Logic 16:92-110.
On Some Categories of Involutive Centered Residuated Lattices.J. L. Castiglioni, M. Menni & M. Sagastume - 2008 - Studia Logica 90 (1):93-124.
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.Sándor Jenei - 2022 - Archive for Mathematical Logic 62 (1):67-86.
Group Representation for Even and Odd Involutive Commutative Residuated Chains.Sándor Jenei - 2022 - Studia Logica 110 (4):881-922.
On a logic of involutive quantales.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (6):579-585.

Analytics

Added to PP
2016-06-30

Downloads
21 (#993,219)

6 months
10 (#381,237)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan A. Bergstra
University of Amsterdam

Citations of this work

Note on paraconsistency and reasoning about fractions.Jan A. Bergstra & Inge Bethke - 2015 - Journal of Applied Non-Classical Logics 25 (2):120-124.

Add more citations

References found in this work

The initial meadows.Inge Bethke & Piet Rodenburg - 2010 - Journal of Symbolic Logic 75 (3):888-895.
Inversive meadows and divisive meadows.J. A. Bergstra & C. A. Middelburg - 2011 - Journal of Applied Logic 9 (3):203-220.
Equational Logic.Walter Taylor - 1982 - Journal of Symbolic Logic 47 (2):450-450.

Add more references