Results 51 to 60 of about 2,544 (97)
Classical Data in Quantum Machine Learning Algorithms: Amplitude Encoding and the Relation Between Entropy and Linguistic Ambiguity. [PDF]
Entropy (Basel)Eisinger J +3 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Lambek Calculus with Conjugates
Studia Logica, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Igor Sedlár, Andrew Tedder
openaire +2 more sources
On Classical Nonassociative Lambek Calculus
Lecture Notes in Computer Science, 2016 AbstractCNL, intoduced by de Groote and Lamarche [11], is a conservative extension of Nonassociative Lambek Calculus (NL) by a De Morgan negation $$^{\sim }$$ ∼ , satisfying $$A^{\sim }/B\Leftrightarrow A\backslash B^{\sim }$$
Wojciech Buszkowski
exaly +2 more sources
Extending the Lambek Calculus with Classical Negation
Studia Logica, 2021Let \textbf{NL} be the non-associative Lambek calculus and S (our symbol) be the ternary relational semantics for \textbf{NL} as defined in [\textit{K. Došen}, Z. Math. Logik Grundlagen Math. 38, No. 2, 179--187 (1992; Zbl 0793.03025)]. Moreover, let negation be classically interpreted when ``a world satisfies the negation of a formula if and only if ...
Michael Kaminski
exaly +3 more sources
On the Selective Lambek Calculus
2005An intermediate logical system in comparison with the non-associative (NL) and the associative Lambek Calculus(L) is obtained by extending their language by means of a so-called “combining permission”, which is used to regulate the introduction of a product formula in the scope of a derivation and to impose a control on applications of the association ...
Marcelo da Silva Corrêa +1 more
openaire +1 more source
Proof Nets for Lambek Calculus
Journal of Logic and Computation, 1992The representation of a proof as you find it in textbooks is just a linear sequence of derivation steps. This does not mean that linear sequences of derivation steps are a good representation for computer generated and computer manipulated proofs. And in fact, for various calculi there are alternative and more compact representations of proofs, for ...
openaire +3 more sources