Results 1 to 10 of about 2,869,949 (320)

Classical Logic and Quantum Logic with Multiple and Common Lattice Models [PDF]

Advances in Mathematical Physics, 2016
We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space.
Mladen Pavičić
doaj   +2 more sources

Copies of Classical Logic in Intuitionistic Logic [PDF]

Philosophia Scientiæ, 2014
La logique classique (la logique des mathématiques non-constructives) est plus forte que la logique intuitionniste (la logique des mathématiques constructives).
Jaime Gaspar
doaj   +4 more sources

Classical Combinatory Logic [PDF]

Discrete Mathematics & Theoretical Computer Science, 2005
Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages.
Karim Nour
doaj   +4 more sources

A fundamental non-classical logic [PDF]

Logics, 2022
We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style
W. Holliday
semanticscholar   +1 more source

The Logic of Khārijī Propositions [PDF]

حکمت سینوی, 2023
There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj   +1 more source

From Classical Logic to Fuzzy Logic and Quantum Logic: A General View

International Journal of Computers Communications & Control, 2021
The aim of this article is to offer a concise and unitary vision upon the algebraic connections between classical logic and its generalizations, such as fuzzy logic and quantum logic.
Sorin Nǎdǎban
semanticscholar   +1 more source

Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism

Journal of Philosophical Logic, 2021
In order to prove the validity of logical rules, one has to assume these rules in the metalogic. However, rule-circular ‘justifications’ are demonstrably without epistemic value (sec. 1). Is a non-circular justification of a logical system possible? This
G. Schurz
semanticscholar   +1 more source

Quantum Hoare logic with classical variables [PDF]

ACM Transactions on Quantum Computing, 2020
Hoare logic provides a syntax-oriented method to reason about program correctness and has been proven effective in the verification of classical and probabilistic programs.
Yuan Feng, M. Ying
semanticscholar   +1 more source

Classical Logic and Neutrosophic Logic. Answers to K. Georgiev [PDF]

Neutrosophic Sets and Systems, 2016
In this paper, we make distinctions between Classical Logic (where the propositions are 100% true, or 100 false) and the Neutrosophic Logic (where one deals with partially true, partially indeterminate and partially false propositions) in order to ...
Florentin Smarandache
doaj   +1 more source

İbn Sînâ’da Mantığa Genel Bir Bakış

Yakın Doğu Üniversitesi İslam Tetkikleri Merkezi Dergisi, 2022
Mantığı var olan bilgilerden yola çıkarak var olmayan bilgilere ulaşma yöntemi veya düşünürken insanı hatadan koruyan bir araç olarak tanımlayan İbn Sînâ, mantık sanatında temelde bilgiye ulaşmayı amaçlamaktadır.
Abdulkadir Coşkun
doaj   +1 more source