Category:Publications

A

• 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 fuzzy Modal Logic for Belief Functions
• 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 Non-Arithmetical Gödel Logic
• A Note on Functions Associated with Godel Formulas
• A note on the first-order logic of complete BL-Chains
• A Note on the Notion of Truth in Fuzzy Logic
• A note to the definition of the LP-algebras
• A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
• A temporal semantics for Basic Logic
• A Treatise on Many-Valued Logics
• About axiomatic systems of product fuzzy logic
• Adding truth-constants to logics of continuous t-norms
• Advanced Łukasiewicz calculus and MV-algebras
• Advances in the LP and LP1/2 logics
• Algebraic and Proof-Theoretic Aspects of Non-Classical Logics
• Algebraic Foundations of Many-Valued Reasoning
• Alternative Proof of Standard Completeness Theorem for MTL
• An alternative approach to the LP logic
• Analytic calculi for logics of ordinal multiples of standard t-norms
• Approximate reasoning and similarity
• Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
• Arithmetical Complexity of Fuzzy Predicate Logics - A Survey
• Axiomatic Extensions of IMT3 Logic

B

• 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
• BL algebras and effect algebras
• BL algebras and quantum structures
• Boolean algebras with an automorphism group: a framework for Łukasiewicz logic
• Boolean fuzzy logic and generalized capacities
• Bounded BCK-algebras and their generated variety

C

• Characterizations of maximal consistent theories in the formal deductive system (NM-logic) and Cantor space
• Compactness of fuzzy logics
• Complexity issues in axiomatic extensions of Lukasiewicz logic
• Complexity issues in Basic Logic
• Complexity of Fuzzy Probability Logic
• Complexity of Fuzzy Probability Logics II
• Complexity of t-tautologies
• Computational Complexity of t-norm based Propositional Fuzzy Logics with Rational Truth Constants
• Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-logic)
• Convergence and fixed points by fuzzy order
• Cyclic Elements in MV-Algebras and Post Algebras

D

• Decidability of Cancellative Extension of Monoidal T-norm Based Logic
• Deduction Theorem in Monoidal Logic
• Defuzzification using Steiner points
• Discovering the World with Fuzzy Logic
• Distinguished algebraic semantics

E

• Effectiveness and Multivalued Logics
• Efffectiveness and Domains
• Embedding Logics into Product Logic
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• 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

F

• 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
• Fleas and Fuzzy Logic
• Formal systems of fuzzy logic and their fragments

F cont.

• From fuzzy logic to fuzzy mathematics: a methodological manifesto
• Fuzzification of Groenendijk-Stokhof propositional erotetic logic
• Fuzzy class theory
• Fuzzy control as a fuzzy deduction system
• Fuzzy Implications and Generalized Quantifiers
• Fuzzy Logic (book)
• 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 a logic of the logic of the expressive strength of information
• Fuzzy Logic as Logic
• Fuzzy logic continuity and effectiveness
• Fuzzy Logic Programming and Fuzzy Control
• Fuzzy Logic with Noncommutative Conjunctions
• 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 Predicate Calculus and Fuzzy Rules
• Fuzzy Sets (paper)
• Fuzzy Sets and Fuzzy Logic: The foundations of application from a Mathematical Point of View
• Fuzzy subgroups and similarities
• Fuzzy submonoids, fuzzy preorders and quasi-metrics
• Fuzzy unification as a foundation of fuzzy logic programming
• Fuzzy-set Based Logics: An History-oriented Presentation of their Main Developments

G

• 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
• 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

H

• Hoops and Fuzzy Logic
• Hyper Archimedean BL-algebras are MV-algebras
• Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic

I

• Implicational (Semilinear) Logics I: A New Hierarchy
• Introducing Grades in Deontic Logics

K

• Knowledge-Driven Versus Data-Driven Logics

L

• Logics preserving degrees of truth from varieties of residuated lattices
• Logics with approximate premises

M

• Making Fuzzy Description Logic More General
• Mathematical Fuzzy Logic and Natural Numbers
• Mathematical Principles of Fuzzy Logic
• Metamathematics of Fuzzy Logic
• Monadic Fuzzy Predicate Logic
• Monoidal t-norm based logic

N

• Normal forms and free algebras for some extensions of MTL
• Normal forms for fuzzy logics: a proof-theoretic approach

O

• O logice trojwartosciowej
• Observations on the Monoidal t-norm Logic
• On a class of left-continuous t-norms
• On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion
• 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 expansions of WNM t-norm based logics with truth-constants
• On Gentzen Systems Associated with the Finite Linear MV-Algebras
• On implicative closure operators in approximate reasoning
• On Lukasiewicz logic with truth-constants
• On Lukasiewicz's Four-Valued Modal Logic
• On n-contractive fuzzy logics
• On n-contractive fuzzy logics: first results
• On Ockham algebras: congruence lattices and subdirectly irreducible algebras
• On product logic
• On product logic with truth constants
• On Rational Weak Nilpotent Minimum Logics

O cont.

• On Reduced Semantics for Fuzzy Predicate Logics
• On some varieties of MTL-algebras
• On the difference between traditional and deductive fuzzy logic
• On the Failure of Standard Completeness in PMTL for Infinite Theories
• On the Hierachy of t-norm Based Residuated Fuzzy Logics
• On the infinite-valued Lukasiewicz logic that preserves degrees of truth
• On the scope of some formulas defining additive connectives in fuzzy logics
• On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic
• On theories and models in fuzzy predicate logics
• On three implication-less fragments of t-norm based fuzzy logics
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• On two fragments with negation and without implication of the logic of residuated lattices
• On Very True
• On weakly cancellative fuzzy logics
• On Witnessed Models in Fuzzy Logic II
• On Witnessed Models in Fuzzy Logic. Mathematical Logic Quarterly

P

• Partial algebras for Łukasiewicz logics and its extensions
• Pavelka's fuzzy logic and free L-subsemigroups
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
• Poincarè Paradox
• Potential into actual objecs
• Predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants
• Probability-like functionals and fuzzy logic
• Product Lukasiewicz logic

Q

• Quasivarieties Generated by Simple MV-algebras

R

• R-fuzzy Logics with Additional Connectives and Their Validation Sets
• Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic
• Reasoning about Probability using Fuzzy Logic
• Regular left-continuous t-norms
• Relating and extending semantical approaches to possibilistic reasoning
• Relational compositions in Fuzzy Class Theory
• Relations in Fuzzy Class Theory: Initial steps
• Representation theorems for fuzzy orders and quasi-metrics
• Residuated Fuzzy Logics with an Involutive Negation
• Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
• Residuated logics based on strict triangular norms with an involutive

S

• Semi-normal forms and functional representation of product fuzzy logic
• Sharpness relation and decidable fuzzy sets
• Short note: on the redundancy of axiom (A3) in BL and MTL
• Similarities and Fuzzy Groups: a Galois Connection
• Similarities for crisp and fuzzy probabilistic Expert Systems
• Similarity based unification
• Similarity logic and translations
• Solution of a system of linear equations with fuzzy numbers
• Spline interpolation between hyperspaces of convex of fuzzy sets
• Standard completeness of Hájek basic logic and decompositions of BL-chains
• Standard Completeness Theorem for PMTL Logic
• States on semi-divisible generalized residuated lattices reduce to states on MV-algebra
• States on semi-divisible residuated lattices
• Strict core fuzzy logics and quasi-witnessed models
• Structural Completeness for Fuzzy Logics
• Structure of Commutative Cancellative Residuated Lattices
• Substructural fuzzy logics
• Subvarieties of BL-algebras generated by single-components chains
• Supersound many-valued logics and Dedekind-MacNeille completions
• Systems of ordinal fuzzy logic with application to preference modelling

T

• T-norm based logics with n-contraction
• T-norms induced by metrics on boolean algebras
• Ten Questions and One Problem on Fuzzy Logic
• Terminological Difficulties in Fuzzy Set Theory - The Case of "Intuitionistic Fuzzy Sets"
• The Liar Paradox and Fuzzy Logics
• The LP and LP1/2 propositional and predicate logics
• The LPi and LPi1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics
• The Sorites Paradox and Fuzzy Logic
• The variety generated by all the ordinal sums of perfect MV-chains
• The variety generated by perfect BL-algebras