BL-Functions and Free BL-Algebra
|
|
- Helena Ball
- 6 years ago
- Views:
Transcription
1 BL-Functions and Free BL-Algebra Simone Bova bova Department of Mathematics and Computer Science University of Siena (Italy) December 9, 008 Ph.D. Thesis Defense
2 Outline Motivation Basic Logic Truthfunctions Background Generic BL-Algebra Free BL-Algebra over One Generator Contribution Free Finitely Generated BL-Algebra Conclusion Summary Publications
3 Outline Motivation Basic Logic Truthfunctions Background Contribution Conclusion
4 Fuzzy Logics Fuzzy logics are propositional logics over,, st: variables X, X,... are interpreted over [0, ]; = and are interpreted over and 0; and are interpreted over binary functions on [0, ]; =. Fuzzy conjunction and implication must maintain: the behavior of Boolean counterparts over {0, } ; intuitive properties of Boolean counterparts over [0, ] ; validity (and power) of modus ponens.
5 Continuous Triangular Norms Definition (Continuous Triangular Norm, Residuum) A (continuous) triangular norm is a continuous binary function on [0, ] that is associative, commutative, monotone (x y implies x z y z) and has as unit (x = x). Given a continuous triangular norm, its residuum is the binary function on [0, ] defined by x y = max{z : x z y}. Triangular norms and their residua provide suitable interpretations for fuzzy conjunction and implication.
6 Triangular Tautologies t, s, r,... terms over,, and variables X, X,.... Definition (Triangular Tautology) t is a triangular tautology iff t evaluates identically to for every assignment of the variables in [0, ] and every interpretation of over a triangular norm,, and of over the corresponding residuum,.
7 Hájek s Basic Logic Hájek s Basic logic: (BL) (r s) ((s t) (r t)) (BL) (r s) r (BL) (r (r s)) (s (s r)) (BL4) (r (s t)) ((r s) t) (BL5) ((r s) t) (r (s t)) (BL6) ((r s) t) (((s r) t) t) (BL7) r (MP) r, r s BL s Theorem (Cignoli et al., 000) BL t iff t is a triangular tautology.
8 BL-Algebras x y = x (x y) aka divisibility, x y = ((x y) y) ((y x) x), x = x, =. Definition (BL-Algebras) A BL-algebra is an algebra (A,,, ) of type (,, 0) st: (i) (A,, ) is a commutative monoid; (ii) (A,,,, ) is a bounded lattice; (iii) residuation holds, ie x y z iff y x z ; (iv) prelinearity holds, ie (x y) (y x) =.
9 Free BL-Algebra and Basic Logic Truthfunctions BL-algebras form the equivalent algebraic semantics of Basic logic. The free n-generated BL-algebra is isomorphic to the Lindenbaum-Tarski algebra of the n-variate fragment of Basic logic. An explicit description of the free n-generated BL-algebra is equivalent to an explicit description of the truthfunctions of the n-variate fragment of Basic logic.
10 Outline Motivation Background Generic BL-Algebra Free BL-Algebra over One Generator Contribution Conclusion
11 Generic BL-Algebra Definition (Generic BL-Algebra) (n + )[0, ] = ([0, n + ], (n+)[0,], (n+)[0,], (n+)[0,] ) is the algebra of type (,, 0) such that (n+)[0,] = 0, and for all a, a [0, n + ], { a (n+)[0,] min{a, a } if a a a = (a j [0,] WH a j) + j if a = a = j n + if a a a (n+)[0,] a = a if a < a (a j [0,] WH a j) + j if a = a = j where a [0,] WH a = max{0, a + a }, and a [0,] WH a = min{, a + a }.
12 Generic BL-Algebra Case n = 0 0 a_ 0 0 a_ a_ 0 a_ 0 (a) a [0,] a. (b) a [0,] a. Figure: [0, ] = ([0, ], [0,], [0,] ), [0,] = 0).
13 Generic BL-Algebra Theorem (Aglianó and Montagna, 00) (n + )[0, ] generates the variety generated by all the n-generated BL-algebras. Let F n be the smallest set of n-ary functions from [0, n + ] [n] to [0, n + ] that contains the n-ary projection functions x,..., x n, the n-ary constant function 0, and is closed under pointwise application of (n+)[0,] and (n+)[0,]. Corollary The free n-generated BL-algebra is isomorphic to the set F n, equipped with the operations of (n + )[0, ] defined pointwise.
14 McNaughton Functions Definition (McNaughton Function) n positive integer, I [n] = {,..., n}. A continuous I -ary function f : [0, ] I [0, ] is a McNaughton function iff there are I -ary linear polynomials with integer coefficients p,..., p k : R I R st, for every a in [0, ] I, f (a) = p j (a) for some j [k]. f is said positive if f ({} I ) =, and negative ow. 5 6 x_ x_ x_ Figure: Unary McNaughton functions from [0, ] {} [0, ].
15 Free BL-Algebra over One Generator f : [0, ] {} [0, ] F have two forms. 5 6 x_ x_ x_ (a) (b) (c) Figure: Form : (a), (b) positive McNaughton functions; (c) in F.
16 Free BL-Algebra over One Generator f : [0, ] {} [0, ] F have two forms. x_ x_ (a) (b) Figure: Form : (a) negative McNaughton function; (b) in F.
17 Free BL-Algebra over One Generator f : [0, ] {} [0, ] F have two forms x_ x_ (a) Form. (b) Form. Figure: F.
18 References P. Aglianó and F. Montagna. Varieties of BL-Algebras I: General Properties. Journal of Pure and Applied Algebra, 8:05 9, 00. S. Aguzzoli and B. Gerla. Normal Forms for the One-Variable Fragment of Hájek s Basic Logic. Proceedings of ISMVL 05, 84 89, 005. M. Baaz, P. Hájek, F. Montagna, and H. Veith. Complexity of t-tautologies. Annals of Pure and Applied Logic, :, 00. R. Cignoli, F. Esteva, L. Godo, and A. Torrens. Basic Fuzzy Logic is the Logic of Continuous t-norms and their Residua. Soft Computing, 4():06, 000. F. Montagna The Free BL-Algebra on One Generator. Neural Network World, 5:87 844, 000.
19 Outline Motivation Background Contribution Free Finitely Generated BL-Algebra Conclusion
20 BL n -Tree n positive integer, [n] = {,..., n}. Definition (Fubini Partition) A Fubini partition of [n] is an ordered partition of [n] into nonempty subsets. Definition (BL n -Tree) A BL n -tree is a rooted tree T = (V, E) st V is a finite multiset of Fubini partitions of [n], V contains exactly one copy of ([n]), ([n]) is the root of the tree, and (u, v) E only if the last block of u is equal to the union of the last two blocks of v.
21 BL n -Tree Case n =,, (a) T = (V, E). (b) T = (V, E ). Figure: BL -trees.
22 Labeled BL n -Tree Definition (Rational Polyhedron) A k-dimensional (rational) simplex S in [0, ] I (k I ) is the convex hull of a set of k + affinely independent (rational) vertices v,..., v k+ in [0, ] I. A (rational) simplicial complex C in [0, ] I is a collection of (rational) simplexes in [0, ] I st every face of a simplex of C is in C, and the intersection of any two simplexes of C is a face of each of them. A (rational) polyhedron in [0, ] I is the underlying space of a (rational) simplicial complex in [0, ] I, ie, the union of the (rational) simplexes in a simplicial complex in [0, ] I. No hyperplane of dimension m contains more than m + of them.
23 Labeled BL n -Tree Definition (Labeled BL n -Tree) A labeled BL n -tree, l(t), is a BL n -tree T = (V, E) with V E labeled as follows. Let B < B = v V with successors {u j = C < C } j [k], so B = C C. (i) l(v) McNaughton function over [0, ] B, positive if B [n]. (ii) l(v, u ),..., l(v, u k ) are st: (ii.i) l(v, u j ) is the relint of a rational polyhedron in [0, ] C. (ii.ii) {l(v, u j ) {} C j [k]} partitions the -set of l(v) in: [0, ] B minus the union of [0, ) B and {} B. l(t) is positive if l([n]) is positive (negative, ow). Display ([n]) by (, [n]). Relative interior.
24 Labeled BL n -Tree Case n = Sampling a labeled BL -tree, l(t). g g, f g (a) T = (V, E). (b) l(v). Figure: l sends V to McNaughton functions f, g, g, g.
25 Labeled BL n -Tree Case n = g g 0 0 a_ f g (a) l({, }) = f. a_ 0 (b) f : [0, ] {,} [0, ]. Figure: f is positive, thus l(t) is positive.
26 Labeled BL n -Tree Case n = g g f g (a) l({}, {}) = g. (b) g : [0, ] {} [0, ]. a_ Figure: g is positive.
27 Labeled BL n -Tree Case n = g g f g (a) l({}, {}) = g. (b) g : [0, ] {} [0, ]. a_ Figure: g is positive.
28 Labeled BL n -Tree Case n = g g f g (a) l({}, {}) = g. (b) g : [0, ] {} [0, ]. a_ Figure: g is positive.
29 Labeled BL n -Tree Case n = g g P P, f P g (a) T = (V, E). (b) l(e). Figure: l bijects btw E and a suitable set of rational polyhedra relints.
30 Labeled BL n -Tree Case n = a_ g g P P f P g (a) P [0, ] {}. a_ (b) P {} {}. Figure: P = {(a ) a = 0}. f P {} {} =.
31 Labeled BL n -Tree Case n = a_ g g P P f P g (a) P [0, ] {}. a_ (b) P {} {}. Figure: P = {(a ) 0 < a < }. f P {} {} =.
32 Labeled BL n -Tree Case n = a_ g g P P f P g (a) P [0, ] {}. a_ (b) P {} {}. Figure: P = {(a ) a = 0}. f P {} {} =.
33 Labeled BL n -Tree Case n = Suitability of {P, P, P }: (i) = {a = (a, a ) f (a) = } [0, ] {,} \ ( [0, ) {,} {} {,}) ; (ii) P {} {}, P {} {}, P {} {} form a partition of. a_ 0 0 a_ a_ 0 (a) f : [0, ] {,} [0, ]. a_ (b) Part of f s -set.
34 BL n -Encoding Definition (BL n -Encoding) A BL n -encoding is a pair (l(t), l (T )) of of labeled BL n -trees st l (T ) is positive if l(t) is positive.
35 BL n -Encoding Case n = Sampling a BL -encoding, (l(t), l (T )). g g, g g f, f g (a) T = (V, E), T = (V, E ). (b) l(v), l (V ). Figure: l(v) and l (V ) range over McNaughton functions.
36 BL n -Encoding Case n = g g g g f 0 0 a_ f g a_ 0 Figure: l(v) specification, f : [0, ] {,} [0, ].
37 BL n -Encoding Case n = g g g g f f g a_ Figure: l(v) specification, g : [0, ] {} [0, ].
38 BL n -Encoding Case n = g g g g f f g a_ Figure: l(v) specification, g : [0, ] {} [0, ].
39 BL n -Encoding Case n = g g g g f f g a_ Figure: l(v) specification, g : [0, ] {} [0, ].
40 BL n -Encoding Case n = g g g g f 0 0 a_ f g a_ 0 Figure: l (V ) specification, f : [0, ] {,} [0, ].
41 BL n -Encoding Case n = g g g g f f g a_ Figure: l (V ) specification, g : [0, ]{} [0, ].
42 BL n -Encoding Case n = g g g g f f g a_ Figure: l (V ) specification, g : [0, ]{} [0, ].
43 BL n -Encoding Case n = g P g P, g g f P P, f P g (a) T = (V, E), T = (V, E ). (b) l(e), l (E ). Figure: l(e) and l (E ) range over suitable rational polyhedra relints.
44 BL n -Encoding Case n = a_ g P g P g g f P P f P g a_ Figure: l(e) specification, P = {(a ) a = 0} [0, ] {}.
45 BL n -Encoding Case n = a_ g P g P g g f P P f P g a_ Figure: l(e) specification, P = {(a ) 0 < a < } [0, ] {}.
46 BL n -Encoding Case n = a_ g P g P g g f P P f P g a_ Figure: l(e) specification, P = {(a ) a = 0} [0, ] {}.
47 BL n -Encoding Case n = a_ 0 0 a_ a_ (a) f. 0 a_ (b) Part of f s -set. Figure: Suitability of {P, P, P }.
48 BL n -Encoding Case n = a_ g P g P g g f P P f P g a_ Figure: l(e) specification, P = {(a ) / < a < } [0, ] {}.
49 BL n -Encoding Case n = a_ g P g P g g f P P f P g a_ Figure: l(e) specification, P = {(a ) a = /} [0, ] {}.
50 BL n -Encoding Case n = a_ 0 0 a_ a_ (a) f. 0 a_ (b) Part of f s -set. Figure: Suitability of {P, P }.
51 REALIZE Algorithm REALIZE Input BL n -encoding (l(t), l (T )) and a [0, n + ] [n] Output b [0, n + ] REALIZE receives in input (l(t), l (T )) and a and:. uniquely determines a McNaughton function f in l(v) l (V ), which is responsible for a;. outputs a value b which is a function of f and a only. Proposition (Realization) For any BL n -encoding e, REALIZE(e, ) is a function, denoted by f e : [0, n + ] [n] [0, n + ].
52 REALIZE Pseudocode REALIZE((l(T), l (T )), a = (a,..., a n) [0, n + ] [n] ) if a i = 0 for some i [n] k(s) l(t) else 4 if l (T ) is negative 5 output 0 6 endif 7 k(s) l (T ) 8 endif 9 Q = B < < B m the Fubini partition corresponding to a (m ) 0 i c the root of S while i m U the successors of c that are copies of B < < B i < B i+ B m 4 a the point in [0, ] B i such that a j = a j a j for all j B i 5 if exists u U such that a k(c, u) 6 i i +, c u 7 else 8 a the point in [0, ] B i Bm such that a j = a j a j for all j B i B m 9 if k(c)(a ) < and a {n + } B i Bm 0 output k(c)(a ) + a j where j is any index in B i B m else output n + endif 4 endif 5 endwhile
53 REALIZE Case n = Sampling REALIZE on the BL -encoding ((l(t), l (T )). g g f g P g P 0 0 P P a_ a_ f P g (a) (l(t), l (T )) 0 (b) REALIZE((l(T), l (T )), ). Figure: REALIZE((l(T), l (T )), ): [0, ] {,} [0, ].
54 REALIZE Case n = a_ f a_ (a) f s responsibilities. 0 0 a_ (b) 0 a_ Figure: (b) REALIZE((l(T), l (T )), ) restricted to f s responsibilities.
55 REALIZE Case n = a_ a_ a_ g g 0 0 a_ (a) g s resp. a_ (b) g s resp. g a_ (c) g s resp. a_ 0 (d) a_ Figure: (d) REALIZE((l(T), l (T )), ) restricted to i [] g i s resp..
56 REALIZE Case n = a_ f a_ (a) f s responsibilities. 0 0 a_ (b) 0 a_ Figure: (b) REALIZE((l(T), l (T )), ) restricted to f s responsibilities.
57 REALIZE Case n = a_ a_ g g 0 0 a_ (a) g s resp. (b) g s resp. a_ a_ (c) 0 a_ Figure: (d) REALIZE((l(T), l (T )), ) restricted to i [] g i s resp..
58 BL n -Functions Definition (BL n -Function) A function g: [0, n + ] [n] [0, n + ] is an n-ary BL-function iff g = f e for some BL n -encoding e.
59 Functional Representation Theorem (Functional Representation) The set of n-ary BL-functions equipped with pointwise defined operations (n+)[0,] and (n+)[0,] is isomorphic to the free n-generated BL-algebra. t (n+)[0,] denotes the n-ary term operation of (n + )[0, ] corresponding to term t. (t, t ) iff t (n+)[0,] = t (n+)[0,] is an equivalence over terms, whose representatives are n-ary BL-functions.
60 Functional Representation Proof Lemma (Closure) The class of n-ary BL-functions contains all the n-ary term operations of (n + )[0, ]. Lemma (Normal Form) Let f be any n-ary BL-function. There is an algorithm T( ) that takes in input (an encoding of) f and returns in output a term T(f ) over (,, ) and {X i i [n]} st T(f ) (n+)[0,] = f. (e, e ) iff f e = f e is an equivalence over BL n -encodings, whose blocks have cardinality >, so canonicity lacks.
61 Outline Motivation Background Contribution Conclusion Summary Publications
62 Summary and Future Work We gave a concrete representation of the free BL-algebra over finitely many generators (ie, Basic logic truthfunctions) in terms of a suitable class of real functions. The problem was open, even for the case of two generators. This result encourages the development of further work on locally finite subvarieties of BL-algebras, tight countermodels to BL-quasiequations, and constructive amalgamation property.
63 Publications S. Aguzzoli and S. Bova. The Free n-generated BL-Algebra. Accepted to Annals of Pure and Applied Logic. S. Aguzzoli, S. Bova, and V. Marra. Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. To appear in Proceedings of LFCS 09, 009. S. Bova. BL-Functions and Free BL-Algebra. Ph.D. Thesis, University of Siena, 008. S. Bova and F. Montagna. Proof Search in Hájek s Basic Logic. ACM Transactions on Computational Logic, 9(), 008. S. Bova and F. Montagna. The Consequence Relation in the Logic of Commutative GBL-Algebras is PSPACE-complete. Accepted to Theoretical Computer Science.
64 Thank you!
Schauder Hats for the 2-variable Fragment of BL
Schauder Hats for the -variable Fragment of BL Stefano Aguzzoli D.S.I., Università di Milano Milano, Italy Email: aguzzoli@dsi.unimi.it Simone Bova Department of Mathematics, Vanderbilt University Nashville
More informationThe Blok-Ferreirim theorem for normal GBL-algebras and its application
The Blok-Ferreirim theorem for normal GBL-algebras and its application Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics
More informationComputing Spectra via Dualities in the MTL hierarchy
Computing Spectra via Dualities in the MTL hierarchy Diego Valota Department of Computer Science University of Milan valota@di.unimi.it 11th ANNUAL CECAT WORKSHOP IN POINTFREE MATHEMATICS Overview Spectra
More informationStates of free product algebras
States of free product algebras Sara Ugolini University of Pisa, Department of Computer Science sara.ugolini@di.unipi.it (joint work with Tommaso Flaminio and Lluis Godo) Congreso Monteiro 2017 Background
More informationCombinatorics of Interpolation in Gödel Logic
Combinatorics of Interpolation in Gödel Logic Simone Bova bova@dico.unimi.it Department of Computer Science Universit of Milan (Milan, Ital) TACL 2009 Jul 7-, 2009, Amsterdam (Netherlands) Outline Gödel
More informationSoft Constraints Processing over Divisible Residuated Lattices
Soft Constraints Processing over Divisible Residuated Lattices Simone Bova Department of Computer Science, University of Milan Via Comelico 39, 20135 Milan (Italy) bova@dico.unimi.it Abstract. We claim
More informationLewis Dichotomies in Many-Valued Logics
Lewis Dichotomies in Many-Valued Logics Simone Bova Department of Mathematics Vanderbilt University (Nashville, USA) simone.bova@vanderbilt.edu ASUBL 2010 June 8-10, 2009, Nomi (Japan) Boolean Satisfiability
More informationProbability Measures in Gödel Logic
Probability Measures in Gödel Logic Diego Valota Department of Computer Science University of Milan valota@di.unimi.it Joint work with Stefano Aguzzoli (UNIMI), Brunella Gerla and Matteo Bianchi (UNINSUBRIA)
More informationMTL-algebras via rotations of basic hoops
MTL-algebras via rotations of basic hoops Sara Ugolini University of Denver, Department of Mathematics (Ongoing joint work with P. Aglianò) 4th SYSMICS Workshop - September 16th 2018 A commutative, integral
More informationExtending the Monoidal T-norm Based Logic with an Independent Involutive Negation
Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation Tommaso Flaminio Dipartimento di Matematica Università di Siena Pian dei Mantellini 44 53100 Siena (Italy) flaminio@unisi.it
More informationFleas and fuzzy logic a survey
Fleas and fuzzy logic a survey Petr Hájek Institute of Computer Science AS CR Prague hajek@cs.cas.cz Dedicated to Professor Gert H. Müller on the occasion of his 80 th birthday Keywords: mathematical fuzzy
More informationA Fuzzy Formal Logic for Interval-valued Residuated Lattices
A Fuzzy Formal Logic for Interval-valued Residuated Lattices B. Van Gasse Bart.VanGasse@UGent.be C. Cornelis Chris.Cornelis@UGent.be G. Deschrijver Glad.Deschrijver@UGent.be E.E. Kerre Etienne.Kerre@UGent.be
More informationNon-classical Logics: Theory, Applications and Tools
Non-classical Logics: Theory, Applications and Tools Agata Ciabattoni Vienna University of Technology (TUV) Joint work with (TUV): M. Baaz, P. Baldi, B. Lellmann, R. Ramanayake,... N. Galatos (US), G.
More informationOn the filter theory of residuated lattices
On the filter theory of residuated lattices Jiří Rachůnek and Dana Šalounová Palacký University in Olomouc VŠB Technical University of Ostrava Czech Republic Orange, August 5, 2013 J. Rachůnek, D. Šalounová
More informationWEAK EFFECT ALGEBRAS
WEAK EFFECT ALGEBRAS THOMAS VETTERLEIN Abstract. Weak effect algebras are based on a commutative, associative and cancellative partial addition; they are moreover endowed with a partial order which is
More informationAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
Iranian Journal of Fuzzy Systems Vol. 9, No. 6, (2012) pp. 31-41 31 AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC E. ESLAMI Abstract. In this paper we extend the notion of degrees of membership
More informationPRESERVATION THEOREMS IN LUKASIEWICZ MODEL THEORY
Iranian Journal of Fuzzy Systems Vol. 10, No. 3, (2013) pp. 103-113 103 PRESERVATION THEOREMS IN LUKASIEWICZ MODEL THEORY S. M. BAGHERI AND M. MONIRI Abstract. We present some model theoretic results for
More informationFree Weak Nilpotent Minimum Algebras
Algorithms and Complexity Group Institute of Computer Graphics and Algorithms TU Wien, Vienna, Austria April 01 Free Weak Nilpotent Minimum Algebras Stefano Aguzzoli, Simone Bova, and Diego Valota This
More informationEQ-algebras: primary concepts and properties
UNIVERSITY OF OSTRAVA Institute for Research and Applications of Fuzzy Modeling EQ-algebras: primary concepts and properties Vilém Novák Research report No. 101 Submitted/to appear: Int. Joint, Czech Republic-Japan
More informationThe Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Algebras of Lukasiewicz s Logic and their Semiring Reducts A. Di Nola B. Gerla Vienna, Preprint
More informationA note on fuzzy predicate logic. Petr H jek 1. Academy of Sciences of the Czech Republic
A note on fuzzy predicate logic Petr H jek 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Pod vod renskou v 2, 182 07 Prague. Abstract. Recent development of mathematical fuzzy
More informationEmbedding theorems for normal divisible residuated lattices
Embedding theorems for normal divisible residuated lattices Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics and Computer
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationGeneralized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics Carles Noguera Dept. of Mathematics and Computer Science, University of Siena Pian dei Mantellini 44,
More informationOn Very True Operators and v-filters
On Very True Operators and v-filters XUEJUN LIU Zhejiang Wanli University School of Computer and Information Technology Ningbo 315100 People s Republic of China ZHUDENG WANG Zhejiang Wanli University Institute
More informationA duality-theoretic approach to MTL-algebras
A duality-theoretic approach to MTL-algebras Sara Ugolini (Joint work with W. Fussner) BLAST 2018 - Denver, August 6th 2018 A commutative, integral residuated lattice, or CIRL, is a structure A = (A,,,,,
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationWhat is mathematical fuzzy logic
Fuzzy Sets and Systems 157 (2006) 597 603 www.elsevier.com/locate/fss What is mathematical fuzzy logic Petr Hájek Institute of Computer Science, Academy of Sciences of the Czech Republic, 182 07 Prague,
More informationFuzzy Closure Operators with Truth Stressers
Fuzzy Closure Operators with Truth Stressers RADIM BĚLOHLÁVEK, Dept. Computer Science, Palacký University, Tomkova 40, CZ-779 00, Olomouc, Czech Republic. Email: radim.belohlavek@upol.cz TAŤÁNA FUNIOKOVÁ,
More informationPropositional and Predicate Logic - VII
Propositional and Predicate Logic - VII Petr Gregor KTIML MFF UK WS 2015/2016 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - VII WS 2015/2016 1 / 11 Theory Validity in a theory A theory
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationPseudo-BCK algebras as partial algebras
Pseudo-BCK algebras as partial algebras Thomas Vetterlein Institute for Medical Expert and Knowledge-Based Systems Medical University of Vienna Spitalgasse 23, 1090 Wien, Austria Thomas.Vetterlein@meduniwien.ac.at
More informationAlgebra and probability in Lukasiewicz logic
Algebra and probability in Lukasiewicz logic Ioana Leuştean Faculty of Mathematics and Computer Science University of Bucharest Probability, Uncertainty and Rationality Certosa di Pontignano (Siena), 1-3
More informationFirst-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties Francesc Esteva, Lluís Godo Institut d Investigació en Intel ligència Artificial - CSIC Catalonia,
More informationRelational semantics for a fragment of linear logic
Relational semantics for a fragment of linear logic Dion Coumans March 4, 2011 Abstract Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic.
More informationOn Urquhart s C Logic
On Urquhart s C Logic Agata Ciabattoni Dipartimento di Informatica Via Comelico, 39 20135 Milano, Italy ciabatto@dsiunimiit Abstract In this paper we investigate the basic many-valued logics introduced
More informationQuantifier elimination, amalgamation, deductive interpolation and Craig interpolation in many-valued logic
Quantifier elimination, amalgamation, deductive interpolation and Craig interpolation in many-valued logic Franco Montagna, first part in collaboration with Tommaso Cortonesi and Enrico Marchioni Definition.
More informationTHE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL
10 th February 013. Vol. 48 No.1 005-013 JATIT & LLS. All rights reserved. ISSN: 199-8645 www.jatit.org E-ISSN: 1817-3195 THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL 1 MINXIA LUO, NI SANG,
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationSome consequences of compactness in Lukasiewicz Predicate Logic
Some consequences of compactness in Lukasiewicz Predicate Logic Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada 7 th Panhellenic Logic
More informationDuality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +
Lecture 2 Mai Gehrke Université Paris 7 and CNRS A {ε} A ((ab) (ba) ) (ab) + (ba) + Further examples - revisited 1. Completeness of modal logic with respect to Kripke semantics was obtained via duality
More informationApplied Logics - A Review and Some New Results
Applied Logics - A Review and Some New Results ICLA 2009 Esko Turunen Tampere University of Technology Finland January 10, 2009 Google Maps Introduction http://maps.google.fi/maps?f=d&utm_campaign=fi&utm_source=fi-ha-...
More informationLattice Theory Lecture 5. Completions
Lattice Theory Lecture 5 Completions John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Completions Definition A completion of a poset P
More informationSoft set theoretical approach to residuated lattices. 1. Introduction. Young Bae Jun and Xiaohong Zhang
Quasigroups and Related Systems 24 2016, 231 246 Soft set theoretical approach to residuated lattices Young Bae Jun and Xiaohong Zhang Abstract. Molodtsov's soft set theory is applied to residuated lattices.
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationTHE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL
THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL 1 MINXIA LUO, 2 NI SANG, 3 KAI ZHANG 1 Department of Mathematics, China Jiliang University Hangzhou, China E-mail: minxialuo@163.com ABSTRACT
More informationSome properties of residuated lattices
Some properties of residuated lattices Radim Bělohlávek, Ostrava Abstract We investigate some (universal algebraic) properties of residuated lattices algebras which play the role of structures of truth
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationAdding truth-constants to logics of continuous t-norms: axiomatization and completeness results
Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results Francesc Esteva, Lluís Godo, Carles Noguera Institut d Investigació en Intel ligència Artificial - CSIC Catalonia,
More informationFuzzy Logic in Narrow Sense with Hedges
Fuzzy Logic in Narrow Sense with Hedges ABSTRACT Van-Hung Le Faculty of Information Technology Hanoi University of Mining and Geology, Vietnam levanhung@humg.edu.vn arxiv:1608.08033v1 [cs.ai] 29 Aug 2016
More informationAlgebraic Transformations of Convex Codes
Algebraic Transformations of Convex Codes Amzi Jeffs Advisor: Mohamed Omar Feb 2, 2016 Outline Neuroscience: Place cells and neural codes. Outline Neuroscience: Place cells and neural codes. Algebra Background:
More informationIntroduction to Fuzzy Sets and Fuzzy Logic
Introduction to Fuzzy Sets and Fuzzy Logic Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada REASONPARK. Foligno, 17-19 September 2009 1/
More informationFuzzy Modal Like Approximation Operations Based on Residuated Lattices
Fuzzy Modal Like Approximation Operations Based on Residuated Lattices Anna Maria Radzikowska Faculty of Mathematics and Information Science Warsaw University of Technology Plac Politechniki 1, 00 661
More informationResiduated fuzzy logics with an involutive negation
Arch. Math. Logic (2000) 39: 103 124 c Springer-Verlag 2000 Residuated fuzzy logics with an involutive negation Francesc Esteva 1, Lluís Godo 1, Petr Hájek 2, Mirko Navara 3 1 Artificial Intelligence Research
More information(Algebraic) Proof Theory for Substructural Logics and Applications
(Algebraic) Proof Theory for Substructural Logics and Applications Agata Ciabattoni Vienna University of Technology agata@logic.at (Algebraic) Proof Theory for Substructural Logics and Applications p.1/59
More informationarxiv: v1 [math.lo] 20 Oct 2007
ULTRA LI -IDEALS IN LATTICE IMPLICATION ALGEBRAS AND MTL-ALGEBRAS arxiv:0710.3887v1 [math.lo] 20 Oct 2007 Xiaohong Zhang, Ningbo, Keyun Qin, Chengdu, and Wieslaw A. Dudek, Wroclaw Abstract. A mistake concerning
More informationAn Introduction to Modal Logic III
An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami
More informationLogic Synthesis and Verification
Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:
More informationGeometric aspects of MV-algebras. Luca Spada Università di Salerno
Geometric aspects of MV-algebras Luca Spada Università di Salerno TACL 2017 TACL 2003 Tbilisi, Georgia. Contents Crash tutorial on MV-algebras. Dualities for semisimple MV-algebras. Non semisimple MV-algebras.
More informationLECTURE 3 Matroids and geometric lattices
LECTURE 3 Matroids and geometric lattices 3.1. Matroids A matroid is an abstraction of a set of vectors in a vector space (for us, the normals to the hyperplanes in an arrangement). Many basic facts about
More informationBOOLEAN ALGEBRA INTRODUCTION SUBSETS
BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations
More informationAAA616: Program Analysis. Lecture 7 The Octagon Abstract Domain
AAA616: Program Analysis Lecture 7 The Octagon Abstract Domain Hakjoo Oh 2016 Fall Hakjoo Oh AAA616 2016 Fall, Lecture 7 November 3, 2016 1 / 30 Reference Antoine Miné. The Octagon Abstract Domain. Higher-Order
More informationThe quest for the basic fuzzy logic
Petr Cintula 1 Rostislav Horčík 1 Carles Noguera 1,2 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Pod vodárenskou věží 2, 182 07 Prague, Czech Republic 2 Institute of Information
More informationFuzzy Logics and Substructural Logics without Exchange
Fuzzy Logics and Substructural Logics without Exchange Mayuka F. KAWAGUCHI Division of Computer Science Hokkaido University Sapporo 060-0814, JAPAN mayuka@main.ist.hokudai.ac.jp Osamu WATARI Hokkaido Automotive
More informationMATH 318 Mathematical Logic Class notes
MATH 318 Mathematical Logic Class notes Notes by: Yue Ru Sun 1 Instructor: Dr. Marcin Sabok McGill University Last updated: December 15, 2015 {a, b, c} {b, c} {a, c} {a, b} {c} {b} {a} 1 If you find any
More informationFoundations of Mathematics
Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 2. Theories and models Categorical approach to many-sorted
More informationChapter I: Introduction to Mathematical Fuzzy Logic
Chapter I: Introduction to Mathematical Fuzzy Logic LIBOR BĚHOUNEK, PETR CINTULA, AND PETR HÁJEK This chapter provides an introduction to the field of mathematical fuzzy logic, giving an overview of its
More informationFuzzy Answer Set semantics for Residuated Logic programs
semantics for Logic Nicolás Madrid & Universidad de Málaga September 23, 2009 Aims of this paper We are studying the introduction of two kinds of negations into residuated : Default negation: This negation
More informationAn adjoint construction for topological models of intuitionistic modal logic Extended abstract
An adjoint construction for topological models of intuitionistic modal logic Extended abstract M.J. Collinson, B.P. Hilken, D.E. Rydeheard April 2003 The purpose of this paper is to investigate topological
More informationFuzzy Sets. Mirko Navara navara/fl/fset printe.pdf February 28, 2019
The notion of fuzzy set. Minimum about classical) sets Fuzzy ets Mirko Navara http://cmp.felk.cvut.cz/ navara/fl/fset printe.pdf February 8, 09 To aviod problems of the set theory, we restrict ourselves
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
More informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationNeighborhood Semantics for Modal Logic Lecture 3
Neighborhood Semantics for Modal Logic Lecture 3 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 15, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 3 1 Plan for the
More informationOn varieties generated by Weak Nilpotent Minimum t-norms
On varieties generated by Weak Nilpotent Minimum t-norms Carles Noguera IIIA-CSIC cnoguera@iiia.csic.es Francesc Esteva IIIA-CSIC esteva@iiia.csic.es Joan Gispert Universitat de Barcelona jgispertb@ub.edu
More informationDiscrete Mathematics. Benny George K. September 22, 2011
Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and
More informationLogics above S4 and the Lebesgue measure algebra
Logics above S4 and the Lebesgue measure algebra Tamar Lando Abstract We study the measure semantics for propositional modal logics, in which formulas are interpreted in the Lebesgue measure algebra M,
More informationUNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Bulletin of the Section of Logic Volume 32:1/2 (2003), pp. 19 26 Wojciech Dzik UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS Abstract It is shown that all extensions of S5 modal logic, both
More informationOn injective constructions of S-semigroups. Jan Paseka Masaryk University
On injective constructions of S-semigroups Jan Paseka Masaryk University Joint work with Xia Zhang South China Normal University BLAST 2018 University of Denver, Denver, USA Jan Paseka (MU) 10. 8. 2018
More informationInt. J. of Computers, Communications & Control, ISSN , E-ISSN Vol. V (2010), No. 5, pp C. Chiriţă
Int. J. of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844 Vol. V (2010), No. 5, pp. 642-653 Tense θ-valued Moisil propositional logic C. Chiriţă Carmen Chiriţă University of Bucharest
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationAn Overview of Residuated Kleene Algebras and Lattices Peter Jipsen Chapman University, California. 2. Background: Semirings and Kleene algebras
An Overview of Residuated Kleene Algebras and Lattices Peter Jipsen Chapman University, California 1. Residuated Lattices with iteration 2. Background: Semirings and Kleene algebras 3. A Gentzen system
More informationLogics preserving degrees of truth and the hierarchies of abstract algebraic logic
Logics preserving degrees of truth and the hierarchies of abstract algebraic logic Josep Maria Font Department of Probability, Logic and Statistics Faculty of Mathematics University of Barcelona XV Simposio
More informationBoolean Algebra CHAPTER 15
CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an
More informationFuzzy Logics Interpreted as Logics of Resources
Fuzzy Logics Interpreted as Logics of Resources Libor Běhounek Girard s linear logic (1987) is often interpreted as the logic of resources, while formal fuzzy logics (see esp. Hájek, 1998) are usually
More informationNeural Codes and Neural Rings: Topology and Algebraic Geometry
Neural Codes and Neural Rings: Topology and Algebraic Geometry Ma191b Winter 2017 Geometry of Neuroscience References for this lecture: Curto, Carina; Itskov, Vladimir; Veliz-Cuba, Alan; Youngs, Nora,
More informationChapter 9: Relations Relations
Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair
More informationPropositional and Predicate Logic - V
Propositional and Predicate Logic - V Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - V WS 2016/2017 1 / 21 Formal proof systems Hilbert s calculus
More informationMany-valued Logics of Continuous t-norms and Their Functional Representation
Università di Milano Dipartimento di Scienze dell Informazione Dottorato in Informatica Tesi di Dottorato di Brunella Gerla XIII Ciclo Many-valued Logics of Continuous t-norms and Their Functional Representation
More informationcse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018
cse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018 Chapter 7 Introduction to Intuitionistic and Modal Logics CHAPTER 7 SLIDES Slides Set 1 Chapter 7 Introduction to Intuitionistic and Modal Logics
More informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationDecomposing Bent Functions
2004 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 49, NO. 8, AUGUST 2003 Decomposing Bent Functions Anne Canteaut and Pascale Charpin Abstract In a recent paper [1], it is shown that the restrictions
More informationGENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXV, 2(1996), pp. 247 279 247 GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS J. HEDLÍKOVÁ and S. PULMANNOVÁ Abstract. A difference on a poset (P, ) is a partial binary
More informationImplications from data with fuzzy attributes
Implications from data with fuzzy attributes Radim Bělohlávek, Martina Chlupová, and Vilém Vychodil Dept. Computer Science, Palacký University, Tomkova 40, CZ-779 00, Olomouc, Czech Republic Email: {radim.belohlavek,
More informationOn the Complexity of the Reflected Logic of Proofs
On the Complexity of the Reflected Logic of Proofs Nikolai V. Krupski Department of Math. Logic and the Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Moscow 119899,
More informationFuzzy Ontologies over Lattices with T-norms
Fuzzy Ontologies over Lattices with T-norms Stefan Borgwardt and Rafael Peñaloza Theoretical Computer Science, TU Dresden, Germany {stefborg,penaloza}@tcs.inf.tu-dresden.de 1 Introduction In some knowledge
More informationThe Logic of Partitions
The Logic of Partitions Introduction to the Dual of "Propositional" Logic David Ellerman Philosophy U. of California/Riverside U. of Ljubljana, Sept. 8, 2015 David Ellerman Philosophy U. of California/Riverside
More information