# All pages

- A Characterization of Fuzzy Implications Generated by Generalized Quantifiers
- A Complete Many-Valued Logic with Product-Conjunction
- A Development of Set Theory in Fuzzy Logic
- A Non-Arithmetical Gödel Logic
- A Note on Functions Associated with Godel Formulas
- A Note on the Notion of Truth in Fuzzy Logic
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
- A Treatise on Many-Valued Logics
- A fuzzy Modal Logic for Belief Functions
- A hierarchy of implicational (semilinear) logics: the propositional case
- A logical Approach to Case-Based Reasoning Using Fuzzy Similarity Relations
- A logical approach to fuzzy truth hedges
- A logical approach to interpolation based on similarity relations
- A modal account of similarity-based reasoning
- A new theory consistency index based on deduction theorems in several logic systems
- A note on the first-order logic of complete BL-Chains
- A note to the definition of the LP-algebras
- A temporal semantics for Basic Logic
- A temporal semantics for Nilpotent Minimum logic
- About axiomatic systems of product fuzzy logic
- Abstract Algebraic Logic - An Introductory Chapter
- Abstract Algebraic Logic - An Introductory Textbook
- Adding truth-constants to logics of continuous t-norms
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Advanced Łukasiewicz calculus and MV-algebras
- Advances in the LP and LP1/2 logics
- Afrodita Iorgulescu
- Agata Ciabattoni
- Algebra Universalis
- Algebraic Foundations of Many-Valued Reasoning
- Algebraic and Proof-Theoretic Aspects of Non-Classical Logics
- Alicia Ziliani
- Alternative Proof of Standard Completeness Theorem for MTL
- An abstract algebraic logic view of some mutiple-valued logics
- An alternative approach to the LP logic
- Analytic calculi for logics of ordinal multiples of standard t-norms
- Anatolij Dvurecenskij
- Andrei Popescu
- Angel García-Cerdana
- Angel Garrido
- Annals of Mathematics and Artificial Intelligence
- Annals of Pure and Applied Logic
- Antoni Torrens
- Antonio Di Nola
- Antonio Ledda
- Antonio Salibra
- Antonín Dvorák
- Antonín Dvořák
- Approximate reasoning and similarity
- Archive for Mathematical Logic
- Arithmetical Complexity of Fuzzy Predicate Logics - A Survey
- Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
- Arnon Avron
- Axiomatic Extensions of IMT3 Logic
- BL
- BL algebras and effect algebras
- BL algebras and quantum structures
- Bart Van Gasse
- Basic Fuzzy Logic BL-Algebras
- Basic Fuzzy Logic and BL-Algebras
- Basic Fuzzy Logic and BL-Algebras II
- Basic Fuzzy Logic is the logic of continuous t-norms and their residua
- Beata Konikowska
- Behounek
- Belnap's four-valued logic and De Morgan lattices
- Boolean algebras with an automorphism group: a framework for Łukasiewicz logic
- Boolean fuzzy logic and generalized capacities
- Bounded BCK-algebras and their generated variety
- Brunella Gerla
- Bruno Teheux
- Ca' Foscari University of Venice
- Carles Noguera
- Catalin Ionita
- Characterizations of maximal consistent theories in the formal deductive system (NM-logic) and Cantor space
- Charles University in Prague
- Christian Fermüller
- Claudia A. Sanza
- Claudio Marini
- Clint van Alten
- Compactness of fuzzy logics
- Complexity issues in Basic Logic
- Complexity issues in axiomatic extensions of Lukasiewicz logic
- Complexity of Fuzzy Probability Logic
- Complexity of Fuzzy Probability Logics II
- Complexity of MTL
- Complexity of t-tautologies
- Computational Complexity of t-norm based Propositional Fuzzy Logics with Rational Truth Constants
- Consequence and degrees of truth in many-valued logic
- Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-logic)
- Constantine Tsinakis
- Convergence and fixed points by fuzzy order
- Current events
- Cyclic Elements in MV-Algebras and Post Algebras
- Czech Technical University
- Dana Piciu
- Daniel Dragulici
- Daniele Mundici
- Daowu Pei
- Davide Ciucci
- Decidability of Cancellative Extension of Monoidal T-norm Based Logic
- Deduction Theorem in Monoidal Logic
- Defuzzification using Steiner points
- Denisa Diaconescu
- Department of Applied Mathematics & Computer Science, University of Gent
- Department of Computer Science, University of Milano
- Department of Computer Science and Artificial Intelligence, University of Granada
- Department of Computer Science and Communication, University of Milano
- Department of Discrete Mathematics and Geometry, Technical University of Vienna
- Department of Informatics, Systems and Communication, University of Milano Bicocca
- Department of Informatics, University of Pécs
- Department of Mathematics, Andes University
- Department of Mathematics, National University of the South
- Department of Mathematics, Polytechnic University of Bucharest
- Department of Mathematics, Tampere University of Technology
- Department of Mathematics, University of Craiova
- Department of Mathematics, University of Denver
- Department of Mathematics, Zhejiang Sci-Tech University
- Department of Mathematics and Computer Engineering, University of Barcelona
- Department of Mathematics and Computer Science, University of Navarre
- Department of Mathematics and Computer Science, University of Salerno
- Department of Mathematics and Computer Science, University of Siena
- Department of Philosophy, State University of Campinas
- Department of Philosophy, University of Calgary
- Department of Physics and Applied Mathematics, University of Navarra
- Department of Probability, Logic and Statistics, University of Barcelona
- Department of Theoretical and Applied Science, University of Insubria
- Didier Dubois
- Diego Castaño
- Diego Valota
- Discovering the World With Fuzzy Logic
- Discovering the World with Fuzzy Logic
- Distinguished algebraic semantics
- Dov Gabbay
- Dumitru Busneag
- Effectiveness and Multivalued Logics
- Efffectiveness and Domains
- Embedding Logics into Product Logic
- Enrico Marchioni
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Equational characterization of the subverieties of BL generated by t-norm algebras
- Errata in the Handbook of Mathematical Fuzzy Logic
- Esko Turunen
- Expanding the (propositional) logic of a t-norm with truth-constants: completeness results for rational semantics
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Exploring Extensions of Possibilistic Logic over Gödel Logic
- Extension Principles for fuzzy set theory
- FCT
- FCT (project)
- FCT project
- Faculty of Mathematics and Computer Science, University of Bucarest
- Faculty of Mathematics and Computer Science, University of Bucharest
- Fernando Bobillo
- Filters in Fuzzy Class Theory
- Finite-valued reductions of infinite-valued logics
- First-order Nilpotent Minimum logics: first steps
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Flaminio Tommaso
- Fleas and Fuzzy Logic
- Florentina Chirtes
- Formal systems of Fuzzy Logics and their fragments
- Formal systems of fuzzy logic and their fragments
- Francesc Esteva
- Francesc d'A. Sales Vallès
- Francesco Paoli
- Franco Montagna
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Fundamenta Informaticae
- Fuzzification of Groenendijk-Stokhof propositional erotetic logic
- Fuzzy-set Based Logics: An History-oriented Presentation of their Main Developments
- Fuzzy Class Theory
- Fuzzy Class Theory (project)
- Fuzzy Implications and Generalized Quantifiers
- Fuzzy Logic (book)
- Fuzzy Logic Programming and Fuzzy Control
- Fuzzy Logic and Arithmetical Hierarchy
- Fuzzy Logic and Arithmetical Hierarchy II
- Fuzzy Logic and Arithmetical Hierarchy III
- Fuzzy Logic and Arithmetical Hierarchy IV
- Fuzzy Logic as Logic
- Fuzzy Logic with Noncommutative Conjunctions
- Fuzzy Predicate Calculus and Fuzzy Rules
- Fuzzy Sets (paper)
- Fuzzy Sets and Fuzzy Logic: The foundations of application from a Mathematical Point of View
- Fuzzy Sets and Systems
- Fuzzy class theory
- Fuzzy control as a fuzzy deduction system
- Fuzzy logic as a logic of the logic of the expressive strength of information
- Fuzzy logic continuity and effectiveness
- Fuzzy logics as the logics of chains
- Fuzzy logics with an additional involutive negation
- Fuzzy metalogic for crisp logics
- Fuzzy models of first order languages
- Fuzzy subgroups and similarities
- Fuzzy submonoids, fuzzy preorders and quasi-metrics
- Fuzzy unification as a foundation of fuzzy logic programming
- Félix Bou
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
- George Georgescu
- George Metcalfe
- Giangiacomo Gerla
- Glivenko like theorems in natural expansions of BCK-logic
- Godel algebras free over finite distributive lattices
- Graded inclusion and point-free geometry
- Graded properties of unary and binary fuzzy connectives
- Grasping Infinity by Finite Sets
- Guidelines
- Guojun Wang
- Hajek
- Handbook of Mathematical Fuzzy Logic
- Hector Freytes
- Hiroakira Ono
- Hongjun Zhou
- Hoops and Fuzzy Logic
- Hykel Hosni
- Hyper Archimedean BL-algebras are MV-algebras
- Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic
- IAM - CONICET
- ICS ASCR
- ICS AS CR
- IIIA - CSIC
- IME - UFBA
- ISTI - CNR
- Implicational (Semilinear) Logics I: A New Hierarchy
- Information Sciences
- Information and Control
- Institute for Medical Expert and Knowledge-Based Systems, Medical University of Vienna
- Institute for Research and Applications of Fuzzy Modeling, University of Ostrava
- Institute of Computer Science, Academy of Sciences of the Czech Rep.
- Institute of Computer Science, Academy of Sciences of the Czech Republic
- Institute of Computer Science, Czech Academy of Sciences
- Institute of Computer Science ASCR
- Institute of Computer Science AS CR
- Institute of Information Theory and Automation, Academy of Sciences of the Czech Rep.
- International Journal of Approximate Reasoning
- International Journal of General Systems
- International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
- Introducing Grades in Deontic Logics
- Ioana Leustean
- Irina Perfilieva
- James Raftery
- Jan Lukasiewicz
- Janne Mertanen
- Jaume Casasnovas
- Joan Gispert
- Joao Marcos
- Johannes Kepler University Linz
- Jordi Rebagliato
- Jorge Elorza
- Josep Maria Font
- José Patricio Díaz Varela
- Journal of Algebra
- Journal of Applied Logic
- Journal of Applied Non-Classical Logics
- Journal of Logic and Computation
- Journal of Mathematical Analysis and Applications
- Journal of Multiple-Valued Logic and Soft Computing
- Journal of Philosophical Logic
- Journal of Pure and Applied Algebra
- Journal of Symbolic Logic
- Journal of the Calcutta Mathematical Society
- Karel Chvalovský
- Kazushige Terui
- Knowledge-Driven Versus Data-Driven Logics
- Kybernetika
- L.A. Zadeh - Fuzzy Sets
- Laurentiu Leustean
- Lavinia Ciungu
- Lecture Notes in Artificial Intelligence
- Lecture Notes in Computer Science
- Leonardo Manuel Cabrer
- Libor Behounek
- Libor Běhounek
- Lluís Godo
- LoLITA and DIMAp, UFRN, Brazil
- Logic, Algebra and Truth Degrees
- Logic Journal of the IGPL
- Logic Journal of the Interest Group of Pure and Applied Logic
- Logical Models of Reasoning with Vague Information
- Logical fOundations of Rational Interaction
- Logics preserving degrees of truth from varieties of residuated lattices
- Logics with approximate premises
- Logique et Analyse
- Lotfi A. Zadeh
- Luca Spada
- MTL
- Main Page
- Making Fuzzy Description Logic More General
- Manuela Busaniche
- Marcelo Coniglio
- Marco Cerami
- Marta Bílková
- Martin Vita
- Martin Štĕpnička
- Martina Danková
- Martina Daňková
- Mathematica Japonica
- Mathematica Slovaca
- Mathematical Fuzzy Logic
- Mathematical Fuzzy Logic and Natural Numbers
- Mathematical Logic Quarterly
- Mathematical Principles of Fuzzy Logic
- Mathware & Soft Computing
- Matteo Bianchi
- Matthias Baaz
- Meetings
- Metamathematics of Fuzzy Logic
- Milan Petrík
- Mircea Sularia
- Mirko Navara
- Monadic Fuzzy Predicate Logic
- Monoidal t-norm based logic
- Neural Network World
- Nicola Olivetti
- Nikolaos Galatos
- Norbert Preining
- Normal forms and free algebras for some extensions of MTL
- Normal forms for fuzzy logics: a proof-theoretic approach
- Notre Dame Journal of Formal Logic
- O logice trojwartosciowej
- Observations on the Monoidal t-norm Logic
- On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory
- On Arithmetical Complexity of Fragments of Prominent Fuzzy Predicate Logics
- On Copulas, Quasicopulas and Fuzzy Logic
- On Gentzen Systems Associated with the Finite Linear MV-Algebras
- On Lukasiewicz's Four-Valued Modal Logic
- On Lukasiewicz logic with truth-constants
- On Ockham algebras: congruence lattices and subdirectly irreducible algebras
- On Rational Weak Nilpotent Minimum Logics
- On Reduced Semantics for Fuzzy Predicate Logics
- On Very True
- On Witnessed Models in Fuzzy Logic. Mathematical Logic Quarterly
- On Witnessed Models in Fuzzy Logic II
- On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion
- On a class of left-continuous t-norms
- On expansions of WNM t-norm based logics with truth-constants
- On expansions of t-norm based logics with truth-constants
- On implicative closure operators in approximate reasoning
- On n-contractive fuzzy logics
- On n-contractive fuzzy logics: first results
- On product logic
- On product logic with truth constants
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- On some varieties of MTL-algebras
- On substructural logics preserving degrees of truth