Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[کتاب][B] Substructural logics and residuated lattices—an introduction
H Ono - 2003 - Springer
This is an introductory survey of substructural logics and of residuated lattices which are
algebraic structures for substructural logics. Our survey starts from sequent systems for basic …
algebraic structures for substructural logics. Our survey starts from sequent systems for basic …
[کتاب][B] Proof theory for fuzzy logics
G Metcalfe, N Olivetti, DM Gabbay - 2008 - books.google.com
Fuzzy logics are many-valued logics that are well suited to reasoning in the context of
vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse …
vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse …
Substructural fuzzy logics
Substructural fuzzy logics are substructural logics that are complete with respect to algebras
whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Uninorm logic …
whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Uninorm logic …
How to construct left-continuous triangular norms—state of the art
Left-continuity of triangular norms is the characteristic property to make it a residuated lattice.
Nowadays residuated lattices are subjects of intense investigation in the fields of universal …
Nowadays residuated lattices are subjects of intense investigation in the fields of universal …
Many-valued logics
S Gottwald - Philosophy of logic, 2007 - Elsevier
Publisher Summary This chapter provides an overview of the many-valued logics. From a
philosophical, especially epistemological point of view, the semantic aspect of (classical) …
philosophical, especially epistemological point of view, the semantic aspect of (classical) …
Hoops and fuzzy logic
In this paper we investigate the falsehood-free fragments of main residuated fuzzy logics
related to continuous t-norms (Hájek's Basic fuzzy logic BL and some well-known axiomatic …
related to continuous t-norms (Hájek's Basic fuzzy logic BL and some well-known axiomatic …
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of
t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy …
t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy …
[HTML][HTML] Fuzzy logic
P Cintula, CG Fermüller, C Noguera - 2016 - plato.stanford.edu
Fuzzy logic is intended to model logical reasoning with vague or imprecise statements like
“Petr is young (rich, tall, hungry, etc.)”. It refers to a family of many-valued logics, where the …
“Petr is young (rich, tall, hungry, etc.)”. It refers to a family of many-valued logics, where the …
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by
drop** the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei …
drop** the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei …
Observations on non-commutative fuzzy logic
Observations on non-commutative fuzzy logic Page 1 Observations on non-commutative fuzzy
logic P. Hájek* Abstract The paper presents some results on the logic psBL (pseudo-basic …
logic P. Hájek* Abstract The paper presents some results on the logic psBL (pseudo-basic …