Uninorm Based Logic As An Extension of Substructural Logics FL e
|
|
- Barrie Barker
- 5 years ago
- Views:
Transcription
1 Uninorm Based Logic As An Extension of Substructural Logics FL e Osamu WATARI Hokkaido Automotive Engineering College Sapporo , JAPAN watari@haec.ac.jp Mayuka F. KAWAGUCHI Division of Computer Science Hokkaido University Sapporo , JAPAN mayuka@main.ist.hokudai.ac.jp Masaaki MIYAKOSHI Division of Computer Science Hokkaido University Sapporo , JAPAN miyakosi@main.ist.hokudai.ac.jp Abstract This research work focuses on formulating uninorm based logic (UL) as a weaker logic than monoidal t-norm based logic (MTL). It is shown that the system UL is complete with respect to the class of left-continuous conjunctive uninorms, and that it is an extension of intuitionistic substructural logic FL e. Keywords: uninorms, t-norms, fuzzy logics, Substructural logics. 1 Introduction Substructural logics are logics lacking some or all of the structural rules when they are formalized in sequent systems. Ono has pointed out in [11], [12] that monoidal t-norm based logic (MTL), which was formulated in [2] as logic of left-continuous t-norms and their residuals, is an extension of intuitionistic substructural logic FL ew (substructural logic without contraction). In this research work, the authors formulate UL as the logic based on uninorms [1], [2], [4], [13], and UL-algebra as the algebraic interpretation of UL. Moreover, we show that this system is an extension of FL e, which is obtained by removing weakening rule from FL ew, and that UL is complete with respect to any UL-algebra. 2 Substructural Logics and Fuzzy Logics 2.1 Formal Systems of Substructural Logics The formal systems by sequent calculi (e.g. LK and LJ for the classical logic and the intuitionistic logic, respectively) include structural inference rules besides inference rules on logical connectives. Various logics as relevant logic, BCK logic and Lukasiewicz logic etc., can be taken as the systems obtained by restricting some or all of structural inference rules. Such logics lacking structural inference rules have been called substructural logics, and full Lambek calculus was introduced in [9], [10] as the basis of them. The most basic system of substructural logics is called FL, which is obtained by removing all three structural inference rules: contraction, weakening and exchange. Definition 1. The axioms and inference rules of FL is the followings. Axioms (Initial sequents): α α t f Γ,, Γ Inference rules: Γ α, β, Σ ( left) Γα,, βσ,
2 αγ, β ( right) Γ α β Γ α, β, Σ ( left) α, β, Γ, Σ Γα, β ( right) Γ α β Γαβ,,, (left) Γα, β, Γ α β (right) Γ, α β Γα,, ( left 1) Γα, β, Γ, β, ( left 2) Γα, β, Γ α Γ β ( right) Γ α β Γ, α, Γ, β, ( left) Γα, β, Γ α ( right 1) Γ α β Γ β ( right 2) Γ α β Γ α, α, Σ (cut) Γ,, Σ Γ, (-weakening) Γ,, t t Γ ( -weakening) Γ f f Here, Greek capital letters are meta-symbols denoting sequences of formulas (including the empty sequence) and Greek small letters are meta-symbols denoting formulas. Especially, denotes at most one formula. tf,,, are constants, and α α f, α α f. By adding all or some of weakening, contraction and exchange to FL, one obtains the various intuitionistic substructural logics FL e, FL ec, FL ew, FL ecw (=LJ), FL c, FL w, and FL cw. Here, w, c and e denote that the rules: weakening, contraction and exchange are added to FL, respectively. Γαβ,,, (e left) Γ, β, α, Γαα,,, (c left) Γα,, Γ, (w left) Γα,, Γ (w right) Γ α By adding exchange to FL, two implications and coincide. By adding both of contraction and weakening, exchange is derived and two conjunctions and coincide, thus FL cw (=FL ecw ) becomes equivalent to LJ. Also, by modifying the right side of a sequent to be a sequence of over two formulas (and making some slight changes in inference rules), we can obtain classical substructural logics CFL e, CFL ec, CFL ew and CFL ecw (=LK). The classical substructural logics without exchange are not considered here because in such cases many different systems could be constructed depending on the position of the main formula of inference rules. 2.2 Full Lambek Algebra The algebraic interpretation of FL is given as the algebraic structure called residuated lattice. It is called full Lambek algebra (shortly, FLalgebra) and defined as follows [9], [10]. Definition 2. The algebra V,,,,,, 10,,, satisfying the following properties is called a full Lambek algebra. (FL1) V,,,, is a lattice with the largest element and the least element, (FL2) V,, 1 is a monoid of which unit element is 1,
3 (FL3) xyzw,,, V: z ( x y) w = ( z x w) ( z y w), (FL4a) xyz,, V: x y z x y z, (FL4b) xyz,, V: x y z y x z, (FL5) 0 V. 2.3 Monoidal t-norm Based Logic MTL Monoidal t-norm based logic MTL is introduced by Esteva et al. [3] as logic for leftcontinuous t-norms, i.e. MTL is a weaker logic than BL [5] which is a logic for continuous t- norms. Here, it should be noted that the unit element 1 of the monoid and an arbitrary fixed element 0 (not the zero element of ) do not always coincide with the largest element and the least element of the lattice V. Also, an arbitrary element 0 is needed in order to give the interpretation of negation as x x 0 and x x 0. The relationship between two operators expressed in (FL4a, b) is called residuation, such a pair of operators is a residuated pair, and the algebraic structure satisfying (FL1) (FL4) is called a residuated lattice. The structural inference rules in sequent systems correspond to the following properties in algebraic systems, respectively. (FLe) exchange: (FLw) weakening: 0 =, is commutative (FLc) contraction: x x x. x y x, y x x The algebraic interpretations of the sequent systems which are FL with some substructural rules, can be obtained by adding the corresponding properties among (FLe), (FLw) and (FLc) to FL-algebra. In the same manner as the case of the logical systems, by adding (FLe), two implications and coincide with each other, also by adding (FLw), unit element 1 and an arbitrary fixed element 0 coincide with the largest element and the least element, respectively. Definition 3. MTL is the logic with the following axioms and inference rule. Axioms: (A1) ( α β) (( β γ) ( α γ)) (A2) ( α β) α (A3) ( α β) ( β α) (A4) ( α β) α (A5) ( α β) ( β α) (A6) ( α ( α β)) ( α β) (A7a) ( α ( β γ)) (( α β) γ) (A7b) (( α β) γ) ( α ( β γ)) (A8a) ( α β) ((( α β) β) (( β α) α)) (A8b) ((( α β) β) (( β α) α)) ( α β) (A9) (( α β) γ) ((( β α) γ) γ) (A10) α Inference rule: α α β (m.p.) β Definition 4. A two-place function T :[0,1] [0,1] satisfying the following properties is called a t-norm. (T1) Ta (,1) = a (T2) a b T( a, c) T( b, c) (T3) TaTbc (, (, )) = TTab ( (, ), c) (T4) Tab (, ) = Tba (, ) 2
4 When a t-norm T is left-continuous with respect to the second variable, T and the operator I T defined as follows (called the right residual of T ) form a residuated pair. IT ( a, b ) = sup{ c T ( a, c ) b } The definition of MTL-algebra is given as follows by generalizing the domain from the unit real interval [0,1] to a lattice. Definition 5. The algebra V,,,, 10,, satisfying the following properties is called MTL-algebra [3]: (MTL1) V, 10,,, is a lattice with the largest element 1 and the least element 0, (MTL2) V,, 1 is a commutative monoid of which unit element is 1, (MTL3) xyzw,,, V: z ( x y) w = ( z x w) ( z y w), (MTL4) x, y,z V : x y z y x z (MTL5) x, y V : x y x, y x x (MTL6) x,y V : ( x y) ( y x) = 1 An arbitrary MTL-algebra on [0,1] can be expressed as [0,1],max,min, T, I T,1,0 by using a left-continuous t-norm and its right residual. Also, it is clear from (MTL1) (MTL5) that MTL-algebras are FL ew -algebras equipped with the pre-linearity property (MTL6). Thus, we reach the following result. Theorem 1. The following three statements are equivalent [12]: (1) For any MTL-algebra, v( α ) = 1 ; (2) A formula α is provable in MTL; (3) A sequent α is provable in FL ew + ( ( α β) ( β α)) (FL ew equipped with ( α β) ( β α) as an initial sequent). Here, v: F V ( F : a set of formulas in MTL) is a valuation map. The validity of a formula α in MTL-algebra is defined as v( α ) = 1. As shown in Theorem 1, MTL is taken as an extension of FL ew in the framework of substructural logics. 3 Uninorms As the main stage of this work, let us investigate the logical systems in which the weakening rule is restricted from MTL. The key point of such systems is that the unit element of the monoid does not coincide with the largest element of a lattice. Now, let us consider uninorms [1], [2], [4] introduced by Yager [13] as aggregation operators equipped with such a property. Definition 6. A two-place function U :[0,1] [0,1] satisfying the following properties is called a uninorm. (U1) e [0,1] : U( a, e) = a (U2) a b U( a, c) U( b, c) (U3) U( a, U( b, c)) = U( U( a, b), c) (U4) U( a, b) = U( b, a) A uninorm becomes a t-norm when e = 1, and becomes a t-conorm when e = 0. A uninorm is called conjunctive if it satisfies U(0,1) = U(1,0) = 0, and disjunctive if it satisfies U(0,1) = U(1,0) = 1. 4 Uninorm Based Logic UL Let us consider the operator defined as IU ( a, b ) sup{ cu( ac, ) b} for a uninorm U, in the same way as the case of a t-norm. When U is left-continuous and conjunctive, U and I U form a residuated pair [2], [6]. Now, the authors introduce the definition of UL (uninorm based logic)-algebra. 2
5 Definition 7. The algebra V,,,,, e, f, 10, satisfying the following properties is called UL-algebra. (UL1) V, 10,,, is a lattice with the largest element 1 and the least element 0, (UL2) V,, e is a monoid of which unit element is e, (UL3) xyzw,,, V: z ( x y) w = ( z x w) ( z y w), (UL4) xyz,, V: x y z y x z, (UL5) f V, (UL6) x, y V : ( x y) ( y x) e. An arbitrary UL-algebra on [0,1] can be expressed as [0,1], max, min, U, IU, e, f,1,0 by using a left-continuous conjunctive uninorm and its right residual IU ( a, b) = sup{ cu( ac, ) b}. Clearly from (UL1) (UL5), the class of ULalgebras is a subclass of FL e -algebras. Thus, uninorm based logic UL defined as the complete logic with respect to UL-algebra becomes an extension of substructural logic FL e. The authors give the definition of UL below. Definition 8. UL is the logic with the following axioms and inference rule. Axioms: (A1) ( α β) (( β γ) ( α γ)) (A3) ( α β) ( β α) (A4) ( α β) α (A5) ( α β) ( β α) (A6 ' ) (( α β) ( α γ)) ( α ( β γ)) (A7a) ( α ( β γ)) (( α β) γ) (A7b) (( α β) γ) ( α ( β γ)) (A8a) ( α β) ((( α β) β) (( β α) α)) (A8b) ((( α β) β) (( β α) α)) ( α β) (A9) (( α β) γ) ((( β α) γ) γ) (A10) α Inference rule: α α β (m.p.) β The following theorem holds among UL-algebra, UL and FL e. Theorem 2. The following three statements are equivalent: (1) For any UL-algebra, v( α) e; (2) A formula α is provable in UL; (3) A sequent α is provable in FL e + ( ( α β) ( β α)) (FL e equipped with ( α β) ( β α) as an initial sequent). Here, it should be noted that the definition of the validity is different from the case of Theorem 1. The validity of a formula α in UL-algebra is defined as v( α) e. The above theorem can be proven in the usual manner to prove the soundness and the completeness. It should be shown that each axiom is valid, each inference rule keeps the validity, and then, the Lindenbaum algebra constructed for each system forms UL-algebra. 5 Concluding Remarks A uninorm based logic UL has been formulated by analogy with the relation between MTL and substructural logics. Furthermore, it has been shown that UL is complete with respect to ULalgebra defined as the class of algebras equipped with left-continuous conjunctive uninorms, and UL is an extension of intuitionistic substructural logic FL e. The authors have already introduced further weak logics: psul satisfying the prelinearity property in the framework of FL (i.e. exchange is removed from FL e ) [7]. The notion of uninorm based logics has been investigated by Metcalfe [8], too. He has given very similar definition of uninorm based logic to
6 that of ours. For example, our axiom of the prelinearity property (i.e. (UL6) and ( α β) ( β α) ) is slightly weaker than that of Metcalfe s logic. It is still an open problem if our weaker definition of uninorm based logic could support the soundness and the completeness for UL with respect to linearly ordered UL-algebra. As further steps of this research, the authors intend to investigate the effectiveness and the possible applications of uninorm based logics from the viewpoint of fuzzy logics. References [1] B. De Baets, Idempotent uninorms, European J. Operational Research, 118 (1999) pp [2] B. De Baets and J.C. Fodor: Residual operators of uninorms, Soft Computing, 3 (1999) pp [3] F. Esteva and L.Godo, Monoidal t-norm based logic: towards a logic for leftcontinuous t-norms, Fuzzy Sets and Systems, 124 (2001) pp [4] J.C. Fodor, R.R. Yager and A. Rybalov, Structure of uninorms, Int. J. of Uncertainty, Fuzziness and Knowledge- Based Systems, 5 (1997) pp [5] P. Hájek, Metamathematics of Fuzzy Logic, Trends in Logic 4, Kluwer Academic Publishers (1998). [6] M.F. Kawaguchi, O. Watari and M. Miyakoshi, Involutions in fuzzy logics based on t-norms and uninorms, Note on Multiple-Valued Logic in Japan, 27 (2004) pp.10_1-10_7, in Japanese. [7] M.F. Kawaguchi, O. Watari and M. Miyakoshi, Fuzzy logics and substructural logics without exchange, Proc. of EUSFLAT-LFA 2005, Barcelona, Spain (2005) pp [8] G. Metcalfe, Uninorm based logics, Proc. of EUROFUSE 2004, Warsaw, Poland (2004) pp [9] H. Ono, Semantics for substructural logics, Substructural Logics (K. Došen and P. Shroeder- Heister eds.), Oxford Univ. Press (1993) pp [10] H. Ono, Proof-theoretic methods in non-classical logic an introduction, Theories of Types and Proofs, MSJ Memoirs 2, Mathematical Society of Japan (1998) pp [11] H. Ono, Residuation theory and substructural logics, Proc. of 34th MLG meeting, Echigo-Yuzawa, Japan (2001) pp [12] H. Ono, Substructural logics and residuated lattices an introduction, Trends in Logic 50 Years of Studia Logica (V.F. Hendrics and J. Malinowski eds.), Trends in Logic 21, Kluwer Academic Publishers (2003). [13] R.R. Yager and A. Rybalov, Uninorm aggregation operators, Fuzzy Sets and Systems, 80 (1996) pp
Fuzzy 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 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 informationSubstructural Logics and Residuated Lattices an Introduction
Hiroakira Ono Substructural Logics and Residuated Lattices an Introduction Abstract. This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for
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 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 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 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 informationSOME REMARKS ON MAEHARA S METHOD. Abstract
Bulletin of the Section of Logic Volume 30/3 (2001), pp. 147 154 Takahiro Seki SOME REMARKS ON MAEHARA S METHOD Abstract In proving the interpolation theorem in terms of sequent calculus, Maehara s method
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 informationFROM AXIOMS TO STRUCTURAL RULES, THEN ADD QUANTIFIERS.
FROM AXIOMS TO STRUCTURAL RULES, THEN ADD QUANTIFIERS. REVANTHA RAMANAYAKE We survey recent developments in the program of generating proof calculi for large classes of axiomatic extensions of a non-classical
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 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 informationModal systems based on many-valued logics
Modal systems based on many-valued logics F. Bou IIIA - CSIC Campus UAB s/n 08193, Bellaterra, Spain fbou@iiia.csic.es F. Esteva IIIA - CSIC Campus UAB s/n 08193, Bellaterra, Spain esteva@iiia.csic.es
More informationREPRESENTATION THEOREMS FOR IMPLICATION STRUCTURES
Wojciech Buszkowski REPRESENTATION THEOREMS FOR IMPLICATION STRUCTURES Professor Rasiowa [HR49] considers implication algebras (A,, V ) such that is a binary operation on the universe A and V A. In particular,
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 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 informationLeft-continuous t-norms in Fuzzy Logic: an Overview
Left-continuous t-norms in Fuzzy Logic: an Overview János Fodor Dept. of Biomathematics and Informatics, Faculty of Veterinary Sci. Szent István University, István u. 2, H-1078 Budapest, Hungary E-mail:
More informationProof Theoretical Studies on Semilattice Relevant Logics
Proof Theoretical Studies on Semilattice Relevant Logics Ryo Kashima Department of Mathematical and Computing Sciences Tokyo Institute of Technology Ookayama, Meguro, Tokyo 152-8552, Japan. e-mail: kashima@is.titech.ac.jp
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 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 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 informationAn Algebraic Proof of the Disjunction Property
An Algebraic Proof of the Disjunction Property Rostislav Horčík joint work with Kazushige Terui Institute of Computer Science Academy of Sciences of the Czech Republic Algebra & Coalgebra meet Proof Theory
More informationAN ALTERNATIVE NATURAL DEDUCTION FOR THE INTUITIONISTIC PROPOSITIONAL LOGIC
Bulletin of the Section of Logic Volume 45/1 (2016), pp 33 51 http://dxdoiorg/1018778/0138-068045103 Mirjana Ilić 1 AN ALTERNATIVE NATURAL DEDUCTION FOR THE INTUITIONISTIC PROPOSITIONAL LOGIC Abstract
More informationFuzzy logic Fuzzyapproximate reasoning
Fuzzy logic Fuzzyapproximate reasoning 3.class 3/19/2009 1 Introduction uncertain processes dynamic engineering system models fundamental of the decision making in fuzzy based real systems is the approximate
More informationTriple Rotation: Gymnastics for T-norms
Triple Rotation: Gymnastics for T-norms K.C. Maes Department of Applied Mathematics, Biometrics and Process Control, Ghent University, Coupure links 653, B-9 Gent, Belgium Koen.Maes@Ugent.be B. De Baets
More informationHypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models Agata Ciabattoni Mauro Ferrari Abstract In this paper we define cut-free hypersequent calculi for some intermediate logics semantically
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 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 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 informationThe problem of distributivity between binary operations in bifuzzy set theory
The problem of distributivity between binary operations in bifuzzy set theory Pawe l Drygaś Institute of Mathematics, University of Rzeszów ul. Rejtana 16A, 35-310 Rzeszów, Poland e-mail: paweldr@univ.rzeszow.pl
More informationHypersequent calculi for non classical logics
Tableaux 03 p.1/63 Hypersequent calculi for non classical logics Agata Ciabattoni Technische Universität Wien, Austria agata@logic.at Tableaux 03 p.2/63 Non classical logics Unfortunately there is not
More informationExploring a Syntactic Notion of Modal Many-Valued Logics
Mathware & Soft Computing 15 (2008) 175-188 Exploring a Syntactic Notion of Modal Many-Valued Logics F. Bou, F. Esteva and L. Godo IIIA - CSIC 08193 Bellaterra, Spain {fbou,esteva,godo}@iiia.csic.es Abstract
More informationBounded Lukasiewicz Logics
Bounded Lukasiewicz Logics Agata Ciabattoni 1 and George Metcalfe 2 1 Institut für Algebra und Computermathematik, Technische Universität Wien Wiedner Haupstrasse 8-10/118, A-1040 Wien, Austria agata@logic.at
More informationDisjunction Property and Complexity of Substructural Logics
Disjunction Property and Complexity of Substructural Logics Rostislav Horčík Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vodárenskou věží 2, 182 07 Prague 8, Czech Republic
More informationFuzzy Function: Theoretical and Practical Point of View
EUSFLAT-LFA 2011 July 2011 Aix-les-Bains, France Fuzzy Function: Theoretical and Practical Point of View Irina Perfilieva, University of Ostrava, Inst. for Research and Applications of Fuzzy Modeling,
More informationOmitting Types in Fuzzy Predicate Logics
University of Ostrava Institute for Research and Applications of Fuzzy Modeling Omitting Types in Fuzzy Predicate Logics Vilém Novák and Petra Murinová Research report No. 126 2008 Submitted/to appear:
More informationLogics without the contraction rule residuated lattices. Citation Australasian Journal of Logic, 8(1):
JAIST Reposi https://dspace.j Title Logics without the contraction rule residuated lattices Author(s)Ono, Hiroakira Citation Australasian Journal of Logic, 8(1): Issue Date 2010-09-22 Type Journal Article
More informationON THE ATOMIC FORMULA PROPERTY OF HÄRTIG S REFUTATION CALCULUS
Takao Inoué ON THE ATOMIC FORMULA PROPERTY OF HÄRTIG S REFUTATION CALCULUS 1. Introduction It is well-known that Gentzen s sequent calculus LK enjoys the so-called subformula property: that is, a proof
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 informationTowards Formal Theory of Measure on Clans of Fuzzy Sets
Towards Formal Theory of Measure on Clans of Fuzzy Sets Tomáš Kroupa Institute of Information Theory and Automation Academy of Sciences of the Czech Republic Pod vodárenskou věží 4 182 08 Prague 8 Czech
More informationDisplay calculi in non-classical logics
Display calculi in non-classical logics Revantha Ramanayake Vienna University of Technology (TU Wien) Prague seminar of substructural logics March 28 29, 2014 Revantha Ramanayake (TU Wien) Display calculi
More informationFuzzy logics among substructural logics
2nd School on Universal Logic Xi an 2007 Fuzzy logics among substructural logics Libor Běhounek and Petr Hájek Institute of Computer Science Academy of Sciences of the Czech Republic Contents Substructural
More informationCHAPTER 10. Gentzen Style Proof Systems for Classical Logic
CHAPTER 10 Gentzen Style Proof Systems for Classical Logic Hilbert style systems are easy to define and admit a simple proof of the Completeness Theorem but they are difficult to use. By humans, not mentioning
More informationProof-Theoretic Methods in Nonclassical Logic an Introduction
Proof-Theoretic Methods in Nonclassical Logic an Introduction Hiroakira Ono JAIST, Tatsunokuchi, Ishikawa, 923-1292, Japan ono@jaist.ac.jp 1 Introduction This is an introduction to proof theory of nonclassical
More informationPartially commutative linear logic: sequent calculus and phase semantics
Partially commutative linear logic: sequent calculus and phase semantics Philippe de Groote Projet Calligramme INRIA-Lorraine & CRIN CNRS 615 rue du Jardin Botanique - B.P. 101 F 54602 Villers-lès-Nancy
More informationContinuous R-implications
Continuous R-implications Balasubramaniam Jayaram 1 Michał Baczyński 2 1. Department of Mathematics, Indian Institute of echnology Madras, Chennai 600 036, India 2. Institute of Mathematics, University
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 informationParaconsistency in Chang s Logic with Positive and Negative Truth Values
Paraconsistency in Chang s Logic with Positive and Negative Truth Values Renato A. Lewin Facultad de Matemáticas Pontificia Universidad Católica de Chile Casilla 36 Correo 22, Santiago, CHILE Marta Sagastume
More informationChapter 11: Automated Proof Systems
Chapter 11: Automated Proof Systems SYSTEM RS OVERVIEW Hilbert style systems are easy to define and admit a simple proof of the Completeness Theorem but they are difficult to use. Automated systems are
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 informationPreuves de logique linéaire sur machine, ENS-Lyon, Dec. 18, 2018
Université de Lorraine, LORIA, CNRS, Nancy, France Preuves de logique linéaire sur machine, ENS-Lyon, Dec. 18, 2018 Introduction Linear logic introduced by Girard both classical and intuitionistic separate
More informationFundamentals of Fuzzy Logics
Fundamentals of Fuzzy Logics George Metcalfe University of Technology, Vienna, Austria metcalfe@logic.at 1 Introduction Logics come in many guises. Classical logic, to take the most obvious example, may
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 informationHow and when axioms can be transformed into good structural rules
How and when axioms can be transformed into good structural rules Kazushige Terui National Institute of Informatics, Tokyo Laboratoire d Informatique de Paris Nord (Joint work with Agata Ciabattoni and
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 informationSIMPLE LOGICS FOR BASIC ALGEBRAS
Bulletin of the Section of Logic Volume 44:3/4 (2015), pp. 95 110 http://dx.doi.org/10.18778/0138-0680.44.3.4.01 Jānis Cīrulis SIMPLE LOGICS FOR BASIC ALGEBRAS Abstract An MV-algebra is an algebra (A,,,
More informationFuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras
Fuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras Jiří Rachůnek 1 Dana Šalounová2 1 Department of Algebra and Geometry, Faculty of Sciences, Palacký University, Tomkova
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 informationOn the Independence of the Formal System L *
6 International Journal of Fuzzy Systems, Vol. 4, No., June On the Independence of the Formal System L * Daowu Pei Astract The formal system L * of fuzzy propositional logic has een successfully applied
More informationINTERPOLATION THEOREM FOR NONCOMMUTATIVE STANDARD EXTENSIONS OF LOGIC BB I
JURNAL MATEMATIKA DAN KOMPUTER Vol. 7. No., 36-4, Agustus 004, ISSN : 40-858 INTERPOLATION THEOREM FOR NONCOMMUTATIVE STANDARD EXTENSIONS OF LOGIC BB I Bayu Surarso Department of Mathematics Faculty of
More informationOn Proofs and Rule of Multiplication in Fuzzy Attribute Logic
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic Radim Belohlavek 1,2 and Vilem Vychodil 2 1 Dept. Systems Science and Industrial Engineering, Binghamton University SUNY Binghamton, NY 13902,
More informationRESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY
RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization
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 informationFundamentals of Logic
Fundamentals of Logic No.5 Soundness and Completeness Tatsuya Hagino Faculty of Environment and Information Studies Keio University 2015/5/18 Tatsuya Hagino (Faculty of Environment and InformationFundamentals
More informationParaconsistent Semantics for Pavelka Style Fuzzy Sentential Logic
Paraconsistent Semantics for Pavelka Style Fuzzy Sentential Logic E. Turunen Tampere Univ. of Technology, P.O. Box 553, 33101 Tampere, Finland, M. Öztürk CRIL, Univ. d Artois, F 62307 Lens, France, A.
More informationOn Refutation Rules. Tomasz Skura. 1. Introduction. Logica Universalis
Log. Univers. 5 (2011), 249 254 c 2011 The Author(s). This article is published with open access at Springerlink.com 1661-8297/11/020249-6, published online October 2, 2011 DOI 10.1007/s11787-011-0035-4
More informationFuzzy attribute logic over complete residuated lattices
Journal of Experimental & Theoretical Artificial Intelligence Vol. 00, No. 00, Month-Month 200x, 1 8 Fuzzy attribute logic over complete residuated lattices RADIM BĚLOHLÁVEK, VILÉM VYCHODIL Department
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 informationSome Pre-filters in EQ-Algebras
Available at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 12, Issue 2 (December 2017), pp. 1057-1071 Applications and Applied Mathematics: An International Journal (AAM) Some Pre-filters
More informationEQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS. Yongwei Yang 1. Xiaolong Xin
italian journal of pure and applied mathematics n. 37 2017 (29 48) 29 EQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS Yongwei Yang 1 School of Mathematics and Statistics Anyang Normal University Anyang 455000 China
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 informationFrom Residuated Lattices to Boolean Algebras with Operators
From Residuated Lattices to Boolean Algebras with Operators Peter Jipsen School of Computational Sciences and Center of Excellence in Computation, Algebra and Topology (CECAT) Chapman University October
More informationParaconsistent Semantics for Pavelka Style Fuzzy Sentential Logic
1 1 Paraconsistent Semantics for Pavelka Style Fuzzy Sentential Logic E. Turunen, P.O. Box 553, 33101 Tampere, Finland M. Öztürk Artois, F 62307 Lens, France, A. Tsoukias 75775, Paris, France. May 26,
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 informationApproximating models based on fuzzy transforms
Approximating models based on fuzzy transforms Irina Perfilieva University of Ostrava Institute for Research and Applications of Fuzzy Modeling 30. dubna 22, 701 03 Ostrava 1, Czech Republic e-mail:irina.perfilieva@osu.cz
More informationPropositional Logic Language
Propositional Logic Language A logic consists of: an alphabet A, a language L, i.e., a set of formulas, and a binary relation = between a set of formulas and a formula. An alphabet A consists of a finite
More informationDual-Intuitionistic Logic and Some Other Logics
Dual-Intuitionistic Logic and Some Other Logics Hiroshi Aoyama 1 Introduction This paper is a sequel to Aoyama(2003) and Aoyama(2004). In this paper, we will study various proof-theoretic and model-theoretic
More informationAggregation and Non-Contradiction
Aggregation and Non-Contradiction Ana Pradera Dept. de Informática, Estadística y Telemática Universidad Rey Juan Carlos. 28933 Móstoles. Madrid. Spain ana.pradera@urjc.es Enric Trillas Dept. de Inteligencia
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 informationSLANEY S LOGIC F IS CONSTRUCTIVE LOGIC WITH STRONG NEGATION
Bulletin of the Section of Logic Volume 39:3/4 2010, pp. 161 173 M. Spinks and R. Veroff SLANEY S LOGIC F IS CONSTRUCTIVE LOGIC WITH STRONG NEGATION Abstract In [19] Slaney et al. introduced a little known
More informationMONADIC FRAGMENTS OF INTUITIONISTIC CONTROL LOGIC
Bulletin of the Section of Logic Volume 45:3/4 (2016), pp. 143 153 http://dx.doi.org/10.18778/0138-0680.45.3.4.01 Anna Glenszczyk MONADIC FRAGMENTS OF INTUITIONISTIC CONTROL LOGIC Abstract We investigate
More informationAlgebraic Logic. Hiroakira Ono Research Center for Integrated Science Japan Advanced Institute of Science and Technology
Algebraic Logic Hiroakira Ono Research Center for Integrated Science Japan Advanced Institute of Science and Technology ono@jaist.ac.jp 1 Introduction Algebraic methods have been important tools in the
More informationA Semantics for Counterfactuals Based on Fuzzy Logic
A Semantics for Counterfactuals Based on Fuzzy Logic In M. Peliš, V. Punčochář (eds.): The Logica Yearbook 2010, pp. 25 41, College Publications, 2011. Libor Běhounek Ondrej Majer Abstract Lewis Stalnaker
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 information1. Tarski consequence and its modelling
Bulletin of the Section of Logic Volume 36:1/2 (2007), pp. 7 19 Grzegorz Malinowski THAT p + q = c(onsequence) 1 Abstract The famous Tarski s conditions for a mapping on sets of formulas of a language:
More informationLabelled Calculi for Łukasiewicz Logics
Labelled Calculi for Łukasiewicz Logics D. Galmiche and Y. Salhi LORIA UHP Nancy 1 Campus Scientifique, BP 239 54 506 Vandœuvre-lès-Nancy, France Abstract. In this paper, we define new decision procedures
More informationU-Sets as a probabilistic set theory
U-Sets as a probabilistic set theory Claudio Sossai ISIB-CNR, Corso Stati Uniti 4, 35127 Padova, Italy sossai@isib.cnr.it Technical Report 05/03 ISIB-CNR, October 2005 Abstract A topos of presheaves can
More informationFeatures of Mathematical Theories in Formal Fuzzy Logic
Features of Mathematical Theories in Formal Fuzzy Logic Libor Běhounek and Petr Cintula Institute of Computer Science, Academy of Sciences of the Czech Republic Pod Vodárenskou věží 2, 187 02 Prague 8,
More informationA Schütte-Tait style cut-elimination proof for first-order Gödel logic
A Schütte-Tait style cut-elimination proof for first-order Gödel logic Matthias Baaz and Agata Ciabattoni Technische Universität Wien, A-1040 Vienna, Austria {agata,baaz}@logic.at Abstract. We present
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 information185.A09 Advanced Mathematical Logic
185.A09 Advanced Mathematical Logic www.volny.cz/behounek/logic/teaching/mathlog13 Libor Běhounek, behounek@cs.cas.cz Lecture #1, October 15, 2013 Organizational matters Study materials will be posted
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 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 informationCUT ELIMINATION AND STRONG SEPARATION FOR SUBSTRUCTURAL LOGICS: AN ALGEBRAIC APPROACH.
CUT ELIMINATION AND STRONG SEPARATION FOR SUBSTRUCTURAL LOGICS: AN ALGEBRAIC APPROACH. NIOLAOS GALATOS AND HIROAIRA ONO Abstract. We develop a general algebraic and proof-theoretic study of substructural
More informationUsing Gentzen system techniques with existing automated theorem provers and rewriting tools
Using Gentzen system techniques with existing automated theorem provers and rewriting tools Peter Jipsen Chapman Univ, Orange, CA March 6, 2008 Peter Jipsen (Chapman Univ, Orange, CA) Implementing Gentzen
More informationTopos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.
logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction
More informationOn the Intersections of QL-Implications with (S, N)- and R-Implications
On the Intersections of QL-Implications with (S, N)- and R-Implications Balasubramaniam Jayaram Dept. of Mathematics and Computer Sciences, Sri Sathya Sai Institute of Higher Learning, Prasanthi Nilayam,
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 SEQUENT SYSTEM OF THE LOGIC R FOR ROSSER SENTENCES 2. Abstract
Bulletin of the Section of Logic Volume 33/1 (2004), pp. 11 21 Katsumi Sasaki 1 Shigeo Ohama A SEQUENT SYSTEM OF THE LOGIC R FOR ROSSER SENTENCES 2 Abstract To discuss Rosser sentences, Guaspari and Solovay
More informationChapter 11: Automated Proof Systems (1)
Chapter 11: Automated Proof Systems (1) SYSTEM RS OVERVIEW Hilbert style systems are easy to define and admit a simple proof of the Completeness Theorem but they are difficult to use. Automated systems
More information