Category:Papers
From Mathfuzzlog
Jump to:
navigation
,
search
Pages in category "Papers"
The following 186 pages are in this category, out of 186 total.
A
A Characterization of Fuzzy Implications Generated by Generalized Quantifiers
A Complete Many-Valued Logic with Product-Conjunction
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 fuzzy Modal Logic for Belief Functions
A logical Approach to Case-Based Reasoning Using Fuzzy Similarity Relations
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
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 Fuzzy Predicate Logics - A Survey
Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
Axiomatic Extensions of IMT3 Logic
B
BL algebras and effect algebras
BL algebras and quantum structures
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
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 Basic Logic
Complexity issues in axiomatic extensions of Lukasiewicz 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
Distinguished algebraic semantics
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 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 Implications and Generalized Quantifiers
Fuzzy Logic Programming and Fuzzy Control
F cont.
Fuzzy Logic and Arithmetical Hierarchy
Fuzzy Logic and Arithmetical Hierarchy II
Fuzzy Logic and Arithmetical Hierarchy III
Fuzzy Logic with Noncommutative Conjunctions
Fuzzy Sets (paper)
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 models of first order languages
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
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
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 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 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 II
On Witnessed Models in Fuzzy Logic. Mathematical Logic Quarterly
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 implicative closure operators in approximate reasoning
On n-contractive fuzzy logics
On product logic
On product logic with truth constants
On some varieties of MTL-algebras
On the Failure of Standard Completeness in PMTL for Infinite Theories
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic
On the difference between traditional and deductive fuzzy logic
On the infinite-valued Lukasiewicz logic that preserves degrees of truth
On the scope of some formulas defining additive connectives in fuzzy logics
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
O cont.
On two fragments with negation and without implication of the logic of residuated lattices
On weakly cancellative fuzzy logics
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 Theorem for PMTL Logic
Standard completeness of Hájek basic logic and decompositions of BL-chains
States on semi-divisible generalized residuated lattices reduce to states on MV-algebra
States on semi-divisible residuated lattices
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 LP and LP1/2 propositional and predicate logics
The LPi and LPi1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics
The Liar Paradox and Fuzzy Logics
The Sorites Paradox and Fuzzy Logic
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
U
Universal Classes of MV-chains with Applications to Many-valued Logics
V
Validation sets in fuzzy logics
Varieties of BL-algebras
W
Wajsberg algebras and Post algebras
Weak effect algebras
Weakly implicative (fuzzy) logics I
What is Mathematical Fuzzy Logic
n-contractive BL-logics
Category
:
Publications
Views
Category
Discussion
View source
History
Personal tools
Log in
Navigation
Main Page
Current events
Recent changes
Random page
Help
Members
Search
Toolbox
What links here
Related changes
Special pages
Printable version
Permanent link