Results 31 to 40 of about 1,435,923 (372)
, 2017 This paper focuses on the problem of constructing of some standard Hilbert style proof systems for any version of many valued propositional logic.
Chubaryan Anahit, Khamisyan Artur
semanticscholar +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
Logical Determinacy versus Logical Contingency. The Case of Łukasiewicz’s Three-valued Logic
Studia Humana, 2019 In constructing the three-valued logic, Jan Łukasiewicz was highly inspirited by the Aristotelian idea of logical contingency. Nevertheless, we can construct a four-valued logic for explicating the Stoic idea of logical determinacy.
Schumann Andrew
doaj +1 more source
On Jan Łukasiewicz’s many-valued logic and his criticism of determinism
Philosophia Scientiæ, 2011 The article deals with Jan Łukasiewicz’s thesis that the truth or falsity of some propositions about the future—future contingents—entails determinism.
Dariusz Łukasiewicz
doaj +1 more source
From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti
Mathematics, 2021 Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems ...
Masanao Ozawa
doaj +1 more source
A temporal semantics for Nilpotent Minimum logic
, 2013 In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core +1 more source
The Everett-Wheeler interpretation and the open future [PDF]
, 2010 I discuss the meaning of probability in the Everett-Wheeler interpretation of quantum mechanics, together with the problem of defining histories. To resolve these, I propose an understanding of probability arising from a form of temporal logic: the ...
Sudbery, Anthony
core +2 more sources
THE CLASS OF PERFECT TERNARY ARRAYS
Системный анализ и прикладная информатика, 2018 In recent decades, perfect algebraic constructions are successfully being use to signal systems synthesis, to construct block and stream cryptographic algorithms, to create pseudo-random sequence generators as well as in many other fields of science and ...
A. V. Sokolov, O. N. Zhdanov
doaj +1 more source
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems
, 2016 We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the respective eigenvectors.
D Aerts +10 more
core +4 more sources
Propositional Logics Complexity and the Sub-Formula Property [PDF]
, 2015 In 1979 Richard Statman proved, using proof-theory, that the purely implicational fragment of Intuitionistic Logic (M-imply) is PSPACE-complete.
Haeusler, Edward Hermann
core +2 more sources