Results 21 to 30 of about 512,574 (282)
Logical Paradoxes in Non-Classical Logic Systems [PDF]
, 2021 It is shown that well-known logical paradoxes such as Barber paradox can be interpreted differently in non-classical logic systems such as multi-valued, continuous and quantum logic with possibility of solutions of the paradox. The results of this research can have applications in investigations of completeness of logic systems.
openaire +1 more source
The Logic of Self-Organized Criticality
Studia Humana, 2015 A consideration of non-classical logic in terms of classical one allows us to show a role of designated truth values. In this way we show that our version of non-classical many-valued logic can be based on the structure of genetic code.
Bakhtiyarov Kamil I.
doaj +1 more source
Validity of the laws of Non-contradiction and Excluded middle; Logical or Psychological (Review of misunderstandings and misinterpretations, self-made accusations and types of fallacies in a criticism) [PDF]
حکمت معاصرIn Classical Logic, the law of non-contradiction and the law of excluded middle are considered theorems and have proof. Recently, Morteza Hajihosseini has written a book titled Two Non-Classical Logic Systems, A New Outlook on Elements of Logic (2017 ...
Morteza Hajihosseini +1 more
doaj +1 more source
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source
Proof Complexity of Non-classical Logics [PDF]
, 2012 Proof complexity is an interdisciplinary area of research utilising techniques from logic, complexity, and combinatorics towards the main aim of understanding the complexity of theorem proving procedures. Traditionally, propositional proofs have been the main object of investigation in proof complexity.
Beyersdorff, O, Kutz, O
openaire +3 more sources
Demonstration of Feed-Forward Control for Linear Optics Quantum Computation [PDF]
, 2002 One of the main requirements in linear optics quantum computing is the ability to perform single-qubit operations that are controlled by classical information fed forward from the output of single photon detectors.
A. Furusawa +32 more
core +2 more sources
Speakable in Quantum Mechanics [PDF]
, 2011 At the 1927 Como conference Bohr spoke the now famous words "It is wrong to think that the task of physics is to find out how nature is. Physics concerns what we can say about nature." However, if the Copenhagen interpretation really holds on to this ...
A. Baltag +22 more
core +4 more sources
To teach logic to prospective mathematics teachers (Part III) [PDF]
Известия Саратовского университета. Новая серия: Серия Философия. Психология. Педагогика, 2022 Introduction. The article is the third part of the author’s article under the same title published in previous issues of this journal. It discusses the problem of forming the logical competencies of future mathematics teachers both at the undergraduate ...
Igoshin, Vladimir Ivanovich
doaj +1 more source
Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics
Bulletin of the Section of LogicNon-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical.
Antonio Piccolomini d’Aragona
doaj +1 more source
Regular Cost Functions, Part I: Logic and Algebra over Words [PDF]
Logical Methods in Computer Science, 2013 The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the ...
Thomas Colcombet
doaj +1 more source