Results 11 to 20 of about 37 (26)

Second-Order Logic of Paradox

open access: yesNotre Dame J. Formal Log., 2018
A. Hazen, F. J. Pelletier
semanticscholar   +1 more source
Some of the next articles are maybe not open access.

Related searches:

A New Model of Fuzzy Logic: Monadic Monoidal T-Norm Based Logic

, 2022
In this article, we introduce the variety of monadic MTL-algebras as MTL-algebras equipped with two monadic operators. After a study of the basic properties of this variety, we define and investigate monadic filters in monadic MTL-algebras.
S. Zahiri, A. Saeid
semanticscholar   +1 more source

Algebraic real analysis

Theory and Applications of Categories, 2008
An effort to initiate the subject of the title: the basic tool is the study of the abstract closed interval equipped with certain equational structures.
P. Freyd
semanticscholar   +1 more source

The Prime Spectrum of an MV-Algebra

Mathematical Logic Quarterly, 1994
A. Nola, L. P. Belluce, S. Sessa
semanticscholar   +1 more source

Algebraization of the Three-valued BCK-logic

Mathematical Logic Quarterly, 2002
Francisco Miguel García-Olmedo   +1 more
semanticscholar   +2 more sources

Yosida Type Representation for Perfect MV-Algebras

Mathematical Logic Quarterly, 1996
L. P. Belluce, A. Nola
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy