English
Related papers

Related papers: Fuzzy Propositional Logic Associated with Quantum …

200 papers

Vagueness is a linguistic phenomenon as well as a property of physical objects. Fuzzy set theory is a mathematical model of vagueness that has been used to define vague models of computation. The prominent model of vague computation is the…

Other Computer Science · Computer Science 2018-08-27 Apostolos Syropoulos

Residuated lattices play an important role in the study of fuzzy logic based of t-norm. In this paper, we introduced the notions of n-fold implicative filters, n-fold positive implicative filters, n-fold boolean filters, n-fold fantastic…

Logic · Mathematics 2025-10-09 A. Kadji , C. Lele , M. Tonga

Real-valued logics underlie an increasing number of neuro-symbolic approaches, though typically their logical inference capabilities are characterized only qualitatively. We provide foundations for establishing the correctness and power of…

Logic in Computer Science · Computer Science 2022-09-01 Ronald Fagin , Ryan Riegel , Alexander Gray

In this paper, first we present a new explanation for the relation between logical circuits and artificial neural networks, logical circuits and fuzzy logic, and artificial neural networks and fuzzy inference systems. Then, based on these…

Neural and Evolutionary Computing · Computer Science 2016-11-15 Farnood Merrikh-Bayat , Farshad Merrikh-Bayat , Saeed Bagheri Shouraki

Classical logic has a serious limitation in that it cannot cope with the issues of vagueness and uncertainty into which fall most modes of human reasoning. In order to provide a foundation for human knowledge representation and reasoning in…

Artificial Intelligence · Computer Science 2016-08-30 Van Hung Le

We investigate dynamic reconfigurable component-based systems whose architectures are described by formulas of Propositional Configuration Logics. We present several examples of reconfigurable systems based on well-known architectures, and…

Logic in Computer Science · Computer Science 2023-03-08 George Rahonis , Melpomeni Soula

A comparison of structural features of quantum and classical physical theories, such as the information capacity of systems subject to these theories, requires a common formal framework for the presentation of corresponding concepts (such…

Quantum Physics · Physics 2011-01-04 Paul Busch

In this note we make a short review of constructions of n-repeated controlled unitary gates in quantum logic gates.

Quantum Physics · Physics 2007-05-23 Kazuyuki Fujii

Following the definition of intuitionistic fuzzy n-norm [ 3 ], we have introduced the definition of intuitionistic fuzzy norm (in short IFN) over a linear space and there after a few results on intuitionistic fuzzy normed linear space and…

General Mathematics · Mathematics 2015-03-13 T. K. Samanta , Iqbal H. Jebril

The relation between entropy and information has great significance for computation. Based on the strict reversibility of the laws of microphysics, Landauer (1961), Bennett (1973), Priese (1976), Fredkin and Toffoli (1982), Feynman (1985)…

Quantum Physics · Physics 2021-11-16 Basil Evangelidis

Evaluating argument strength in quantitative argumentation systems has received increasing attention in the field of abstract argumentation. The concept of acceptability degree is widely adopted in gradual semantics, however, it may not be…

Artificial Intelligence · Computer Science 2023-08-21 Zongshun Wang , Yuping Shen

We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning, we allow also coaxioms, which are, intuitively, axioms which…

Logic in Computer Science · Computer Science 2023-06-22 Francesco Dagnino

Counting propositional logic was recently introduced in relation to randomized computation and shown able to logically characterize the full counting hierarchy. In this paper we aim to clarify the intuitive meaning and expressive power of…

Logic in Computer Science · Computer Science 2022-11-17 Melissa Antonelli

The reliability of logical operations is indispensable for the reliable operation of computational systems. Since the down-sizing of micro-fabrication generates non-negligible noise in these systems, a new approach for designing…

Other Computer Science · Computer Science 2020-04-22 Tetsuya J. Kobayashi

The current article discusses some applications of fuzzy logic to assessment of learning. We consider here a new trapezoidal fuzzy model for learning assessment.

General Mathematics · Mathematics 2014-07-02 Igor Ya. Subbotin

Fuzzy rule-based systems have been mostly used in interpretable decision-making because of their interpretable linguistic rules. However, interpretability requires both sensible linguistic partitions and small rule-base sizes, which are not…

Machine Learning · Computer Science 2025-12-15 Javier Fumanal-Idocin , Raquel Fernandez-Peralta , Javier Andreu-Perez

Fuzzy set theory opens new vistas in computability theory and here I show this by defining a new computational metaphor--the fuzzy chemical metaphor. This metaphor is an extension of the chemical metaphor. In particular, I introduce the…

Formal Languages and Automata Theory · Computer Science 2009-03-23 Apostolos Syropoulos

Pattern recognition systems implemented using deep neural networks achieve better results than linear models. However, their drawback is the black box property. This property means that one with no experience utilising nonlinear systems may…

Machine Learning · Computer Science 2024-01-29 Martin Klimo , Lubomir Kralik

Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case of fuzzy logic programs. In this paper, we show that two of…

Logic in Computer Science · Computer Science 2025-07-17 Pascal Kettmann , Jesse Heyninck , Hannes Strass

Mediative Fuzzy Logic was conceived as a practical scheme for reconciling hesitant or conflicting assessments in fuzzy control and decision-making. However, its logical and semantic foundations remain underdeveloped, especially beyond…

Artificial Intelligence · Computer Science 2026-05-25 Oscar Montiel Ross