Results 31 to 40 of about 220 (59)

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, A. J. R. Salas   +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

Universal Classes of MV-chains with Applications to Many-valued Logics

Mathematical Logic Quarterly, 2002
Joan Gispert
semanticscholar   +1 more source

The Operators of Vector Logic

Mathematical Logic Quarterly, 1996
E. Mizraji
semanticscholar   +1 more source

Extensions of Hałkowska–Zajac's three-valued paraconsistent logic

Archive for Mathematical Logic, 2002
A. Pynko
semanticscholar   +1 more source

The Maximal Closed Classes of Unary Functions in p-Valued Logic

Mathematical Logic Quarterly, 1996
Lo Czukai, Renren Liu
semanticscholar   +1 more source

Consequence and Degrees of Truth in Many-Valued Logic

, 2015
J. M. Font
semanticscholar   +1 more source

Nouvelle détermination des constantes rotationnelles du niveau de base du silane

, 1975
G. Pierre, G. Guelachvili, C. Amiot
semanticscholar   +1 more source

Suppes-style sequent calculus for probability logic

Journal of Logic and Computation, 2015
M. Boricic
semanticscholar   +1 more source