# Category:Papers

From Mathfuzzlog

## Pages in category "Papers"

The following 197 pages are in this category, out of 197 total.

### A

- A Characterization of Fuzzy Implications Generated by Generalized Quantifiers
- A Complete Many-Valued Logic with Product-Conjunction
- 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 temporal semantics for Nilpotent Minimum logic
- About axiomatic systems of product fuzzy logic
- Adding truth-constants to logics of continuous t-norms
- Advances in the LP and LP1/2 logics
- 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
- Belnap's four-valued logic and De Morgan lattices
- 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

### E

- Effectiveness and Multivalued Logics
- 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
- 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 and Arithmetical Hierarchy
- Fuzzy Logic and Arithmetical Hierarchy II
- Fuzzy Logic and Arithmetical Hierarchy III
- Fuzzy logic as a logic of the logic of the expressive strength of information
- 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 models of first order languages
- Fuzzy Sets (paper)
- Fuzzy subgroups and similarities
- Fuzzy submonoids, fuzzy preorders and quasi-metrics

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

### L

### M

### N

### 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's Four-Valued Modal Logic
- On n-contractive fuzzy logics
- On Ockham algebras: congruence lattices and subdirectly irreducible algebras
- On product logic
- On product logic with truth constants
- On Rational Weak Nilpotent Minimum Logics
- On Reduced Semantics for Fuzzy Predicate Logics
- 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
- On the difference between traditional and deductive fuzzy logic
- On the Failure of Standard Completeness in PMTL for Infinite Theories
- 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

### 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
- Taking degrees of truth seriously
- 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 logic of the strongest and the weakest t-norms
- 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
- Three and two-valued Łukasiewicz theories in the formal deductive system L* (NM-logic)
- Triangular norm based predicate fuzzy logics
- Two notions of compactness in Gödel logics