All pages with prefix

From Mathfuzzlog

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 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	Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results	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 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	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	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	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 and Artificial Intelligence, University of Granada
Department of Computer Science and Communication, University of Insubria	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 Information Science, University of Milano
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 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, University of Calgary	Department of Physics and Applied Mathematics, University of Navarra
Department of Probability, Logic and Statistics, University of Barcelona	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
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	Fernando Bobillo
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
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
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	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
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	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
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 varieties of MTL-algebras	On t-norm based axiomatic extensions of the Weak Nilpotent Minimum logic
On the Failure of Standard Completeness in PMTL for Infinite Theories	On the Hierachy of t-norm Based Residuated Fuzzy Logics	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
On two fragments with negation and without implication of the logic of residuated lattices	On weakly cancellative fuzzy logics	Ondrej Majer
Partial algebras for Łukasiewicz logics and its extensions	Paul Flondor	Pavelka's fuzzy logic and free L-subsemigroups
Pere Garcia	Pere Pardo	Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
Peter Vojtáš	Petr Cintula	Petr Hajek

All pages with prefix

From Mathfuzzlog

Views

Personal tools

Navigation

Search

Toolbox