Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras
Fundamenta InformaticaePublished 1 January 2004Open access
Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini, Martin Konig
Citations24
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A bottom-up investigation of algebraic structures corresponding to many valued logical systems is made, with particular attention to the unit interval as a prototypical model of these kind of structures.
Abstract
A bottom-up investigation of algebraic structures corresponding to many valued logical systems is made. Particular attention is given to the unit interval as a prototypical model of these kind of structures. At the top level of our construction, Heyting Wajsberg algebras are defined and studied. The peculiarity of this algebra is the presence of two implications as primitive operators. This characteristic is helpful in the study of abstract rough approximations.
Keywords
Computer Science
Trends in logicMetamathematics of Fuzzy Logic
3,973 Citations1998Petr Hájek
This paper presents a meta-analysis of many-Valued Propositional Logic, focusing on the part of Lukasiewicz's Logic that deals with Complexity, Undecidability and Generalized Quantifiers and Modalities.
Modal Logic: An Introduction
1,810 Citations1980Brian F. Chellas
Many Valued Logic
622 Citations1969Nicholas Rescher
Mathematics Behind Fuzzy Logic
364 Citations1999Erja Turunen
Relevance Logic and Entailment
303 Citations1986J. Michael Dunn
Note carefully that the title of this piece is not ‘A Survey of Relevance Logic’; such a project would be impossible given the development of the field and even the space limitations of this Handbook.
Transactions of the American Mathematical SocietyLattices with involution
258 Citations1958J. A. Kalman
Algebraic Methods in Philosophical Logic
235 Citations2001J. Michael Dunn, Gary M. Hardegree
Archive for Mathematical LogicResiduated fuzzy logics with an involutive negation
205 Citations2000Francesc Esteva, Lluı́s Godo +2 more
This paper investigates the residuated fuzzy logics arising from continuous t-norms without non-trivial zero divisors and extended with an involutive negation.
Journal of Applied LogicMathematical modal logic: A view of its evolution
151 Citations2003Robert Goldblatt
Archive for Mathematical LogicThe $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics
123 Citations2001Francesc Esteva, Lluı́s Godo +1 more
This paper provides a finite axiomatization for the propositional logic resulting from the combination of Lukasiewicz and Product Logics, together with the logic obtained by from $L \Pi$ by the adding of a constant symbol and of a defining axiom for $\frac{1}{2}$.
Cambridge University Press eBooksInfinite-valued G?del Logics with 0-1-Projections and Relativizations
114 Citations2017Matthias Baaz
Lecture notes in computer scienceAlgebraic Structures for Rough Sets
113 Citations2004Gianpiero Cattaneo, Davide Ciucci
This work discusses a possible algebraization of the concrete algebra of the power set of X through quasi BZ lattices that enables us to define two rough approximations based on a similarity and on a preclusive relation.
Fuzzy Sets and SystemsBrouwer-Zadeh posets and three-valued Łukasiewicz posets
101 Citations1989Gianpiero Cattaneo, Giuseppe Nisticò
Proceedings of the American Mathematical SocietyInjective De Morgan and Kleene algebras
44 Citations1975Roberto Cignoli
Lecture notes in computer scienceHeyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets
26 Citations2002Gianpiero Cattaneo, Davide Ciucci
It is shown that standard Pawlak approach to rough sets is a model of this structure and it is possible to obtain a de Morgan Brouwer-Zadeh (BZ) distributive lattice with respect to the partial order induced from the ?
Fundamenta InformaticaeAlgebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures
14 Citations2004Gianpiero Cattaneo, Davide Ciucci +2 more
Four propositional calculi whose Lindenbaum-Tarski algebra corresponds to the four equivalent algebraic structures are axiomatized and their semantical completeness is given.
Journal of Symbolic LogicAntonio Monteiro. Axiomes indépendants pour les algèbres de Brouwer. Revista de la Unión Matemática Argentina y de la Asociación Física Argentina, Bd. 17 (1955), S. 149–160.
5 Citations1958Helmuth Gericke