Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Pedagogiczna Biblioteka Wojewódzka im. Komisji Edukacji Narodowej w Lublinie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaPedagogiczna Biblioteka Wojewódzka im. Komisji Edukacji Narodowej w Lublinie
Zmień bibliotekę

Wyszukujesz frazę "quantum logic" wg kryterium: Temat

  Lista filtrów
Dostawca treści
Wyrównaj
Wyświetlanie 1-10 z 18
Tytuł:
No-signaling in topos formulation and a common ontological basis for classical and non-classical physical theories
Autorzy:
Kuś, Marek
Tematy:
no-signalling
topos
quantum logic
Pokaż więcej
Wydawca:
Copernicus Center Press
Powiązania:
https://bibliotekanauki.pl/articles/1047596.pdf  Link otwiera się w nowym oknie
Opis:
Starting from logical structures of classical and quantum mechanics we reconstruct the logic of so-called no-signaling theories, where the correlations among subsystems of a composite system are restricted only by a simplest form of causality forbidding an instantaneous communication. Although such theories are, as it seems, irrelevant for the description of physical reality, they are helpful in understanding the relevance of quantum mechanics. The logical structure of each theory has an epistemological flavor, as it is based on analysis of possible results of experiments. In this note we emphasize that not only logical structures of classical, quantum and no-signaling theory may be treated on the same ground but it is also possible to give to all of them a common ontological basis by constructing a “phase space” in all cases. In non-classical cases the phase space is not a set, as in classical theory, but a more general object obtained by means of category theory, but conceptually it plays the same role as the phase space in classical physics.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ring-like structures with unique symmetric difference related to quantum logic
Autorzy:
Dorninger, Dietmar
Länger, Helmut
Maczyński, Maciej
Tematy:
generalized Boolean quasiring
symmetric difference
quantum logic
Pokaż więcej
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:
https://bibliotekanauki.pl/articles/729037.pdf  Link otwiera się w nowym oknie
Opis:
Ring-like quantum structures generalizing Boolean rings and having the property that the terms corresponding to the two normal forms of the symmetric difference in Boolean algebras coincide are investigated. Subclasses of these structures are algebraically characterized and related to quantum logic. In particular, a physical interpretation of the proposed model following Mackey's approach to axiomatic quantum mechanics is given.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Is Schrödingers cat dead or alive?
Autorzy:
Grygiel, Wojciech
Tematy:
decoherence
measurement problem
quantum logic
quantum mechanics
Schrödinger's cat
Pokaż więcej
Wydawca:
Copernicus Center Press
Powiązania:
https://bibliotekanauki.pl/articles/942951.pdf  Link otwiera się w nowym oknie
Opis:
The Schrödinger's Cat paradox was proposed in 1935 by Edwin Schrodinger, one of the founders of quantum mechanics, as an attempt to visualize the macroscopic realization of a quantum superposition state. A cat is placed in a sealed box together with a vial of poison. A two-state particle (e.g. an electron) is sent into a detector in the box resulting either in a broken or an intact vial and a dead or live cat, respectively. The main problem consists in whether the superposition state of a microscopic particle can be transferred upon the macroscopic cat, that is, whether the cat can exist in a superposition state, being simultaneously dead and alive. Since the standard Copenhagen interpretation is unable to assign any reality to the quantum superposition state, the paradox finds no resolution within the regime of this interpretation. Von Neumann's insistence on the uniform treatment of both microscopic (quantum) and macroscopic (classical) objects according to the laws of quantum mechanics provides a more consistent framework for the resolution of the paradox. In particular, the discovery of the phenomenon of decoherence, whereby the disappearance of the quantum interferences at the macro level is accounted for, suggests the onset of an extremely efficient interference relaxation process (10-23 s) upon the interaction of the two state particle with the detector. As a result, Schrodinger's cat can exist macroscopically either as dead or alive and never as a combination of both. Decoherence not only aids the resolution of the Schrodinger's Cat paradox but also sheds light upon the mechanisms by which the macro-world emerges from the microscopic quantum realm.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Probability measures and logical connectives on quantum logics
Autorzy:
Nánásiová, Oľga
Valášková, Ľubica
Čerňanová, Viera
Tematy:
logical connectives
orthomodular lattice
quantum logic
probability measure
state
Pokaż więcej
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Powiązania:
https://bibliotekanauki.pl/articles/384839.pdf  Link otwiera się w nowym oknie
Opis:
The present paper is devoted to modelling of a probabi‐ lity measure of logical connectives on a quantum logic via a G‐map, which is a special map on it. We follow the work in which the probability of logical conjunction (AND), dis‐ junction (OR), symmetric difference (XOR) and their nega‐ tions for non‐compatible propositions are studied. Now we study all remaining cases of G‐maps on quantum lo‐ gic, namely a probability measure of projections, of impli‐ cations, and of their negations. We show that unlike clas‐ sical (Boolean) logic, probability measures of projections on a quantum logic are not necessarilly pure projections. We indicate how it is possible to define a probability me‐ asure of implication using a G‐map in the quantum logic, and then we study some properties of this measure which are different from a measure of implication in a Boolean algebra. Finally, we compare the properties of a G‐map with the properties of a probability measure related to logical connectives on a Boolean algebra.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika podejmowania decyzji (podejmowanie decyzji w aspekcie klasycznej i kwantowej logiki)
Decision making logic (the classical and quantum decision making logic)
Autorzy:
Kałuski, J.
Tematy:
logika klasyczna
logika kwantowa
podejmowanie decyzji
classical logic
quantum logic
decision making
Pokaż więcej
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Powiązania:
https://bibliotekanauki.pl/articles/326030.pdf  Link otwiera się w nowym oknie
Opis:
W pracy obszernie omówiono stosowanie logiki kwantowej do podejmowania decyzji na tle logiki klasycznej w szerokim zakresie teoretycznym i praktycznym. Wychodząc od samych początków teorii kwantowej, a więc od eksperymentu myślowego EPR, prac Heisenberga, Bohra, Borna, Schroedingera, von Neumanna, Paulli’ego i innych znakomitych teoretyków fizyki kwantowej lat 20 i 30 ubiegłego stulecia, aż do słynnego twierdzenia J. Bella (1964) i jego nierówności i kończąc eksperymentami A. Aspecta i A. Zeillingera, pokazano skomplikowaną drogę rozwoju logiki kwantowej w podejmowaniu decyzji w naukach kognitywnych, ekonomii i technice. Równolegle analizowano pojęcia logiki klasycznej i kwantowej w aspekcie filozoficznym, począwszy od I. Kanta i jego logiki formalnej, poprzez logikę Łukasiewicza – Tarskiego, kosmologię Jacyny – Onyszkiewicza, aż po filozofię buddyzmu oraz różnych, współczesnych nurtów myślenia „kwantowego”. Do podejmowania decyzji w konkretnych sytuacjach służą modele na bazie kwantowej teorii informacji, kwantowego prawdopodobieństwa a przede wszystkim kwantowej teorii gier. Na przykładach szczegółowych obliczeń prawdopodobieństw kwantowych i budowy strategii kwantowych na użytek gier zobrazowano proces postępowania, który zasadniczo różni się od modelu klasycznego.
In the work some problems of quantum decision making with comparing to the classical logic are presented. Based to Bell’s theorem (1964) and many works of famous physicians as Einstein, Bohr, Heisenberg, Born, Schroedinger, von Neumann and others which hold fast to the concept of new logic, the hard way of development of quantum logic in decision making is discussed. Simultaneously in the paper the I. Kant’s formal logic, Łukasiewicz-Tarski’s truth theory and logic across the Jacyna-Onyszkiewicz’s cosmological theory and Buddism’s philosophy are presented. To decision making in the concrete situations some models of quantum information theory, quantum probability and first of all quantum game are used. On the number of examples according to detailed computing of the quantum probability and construction of the quantum strategies in the games, the methods of calculating are showed. In all mentioned discussion shows that these methods are different from classical methods.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Labeled Sequent Calculus for Orthologic
Autorzy:
Kawano, Tomoaki
Tematy:
quantum logic
sequent calculus
cut-elimination theorem
decidability
Kripke model
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/749930.pdf  Link otwiera się w nowym oknie
Opis:
Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic. Sequent calculus is used as a tool for proof in logic and has been examinedfor several decades. Although there are many studies on sequent calculus forOL, these sequent calculi have some problems. In particular, they do not includeimplication connective and they are mostly incompatible with the cut-eliminationtheorem. In this paper, we introduce new labeled sequent calculus called LGOI, and show that this sequent calculus solve the above problems. It is alreadyknown that OL is decidable. We prove that decidability is preserved when theimplication connective is added to OL.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some distributivities in GBbi-QRs characterizing Boolean rings
Autorzy:
Kaleta, Joanna
Tematy:
quasigroup
generalized Boolean bi-quasiring
generalized Boolean quasiring
Boolean ring
ring-like structure
axiomatic quantum mechanics
quantum logic
Pokaż więcej
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:
https://bibliotekanauki.pl/articles/728918.pdf  Link otwiera się w nowym oknie
Opis:
This paper presents some manner of characterization of Boolean rings. These algebraic systems one can also characterize by means of some distributivities satisfied in GBbi-QRs.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Partial Boolean Algebras
Częściowe Algebry Boolea
Autorzy:
Gil Sanchez, Michał
Opis:
W pracy zaprezentuję trzy najpopularniejsze definicje częściowych algebr Boole’a. Następnie pokażę konstrukcje ukazujące ich równoważność. W końcowej części pracy omówię dowód twierdzenia Kochena-Speckera o koniecznym i wystarczającym warunku zanurzalności częściowej algebry Boole’a w algebrze Boole’a.
In this paper I will present three most common definitions of partial Boolean algebras. Next I will demonstrate constructions showing their equivalence. In the final section of the paper I will discuss Kochen-Specker’s proof of necessary and sufficient condition of imbeddabling a partial Boolean algebra into Boolean algebra.
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne
Wyświetlanie 1-10 z 18

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies