Results 11 to 20 of about 65,929 (299)
A note on entropy of logic [PDF]
Yugoslav Journal of Operations Research, 2017 We propose an entropy based classification of propositional calculi. Our method can be applied to finite–valued propositional logics and then, extended asymptotically to infinite–valued logics.
Boričić Marija
doaj +1 more source
Tableau method of proof for Peirce’s three-valued propositional logic
Filosofia Unisinos, 2022 Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj +1 more source
The Law of Excluded Middle and the Negation of it in many-valued and Fuzzy Logics [PDF]
حکمت و فلسفه, 2008 The philosophical critiques, in twentieth century, on binary paradigm caused the negation of the law of excluded middle as the same as it caused the establishment of many-valued logics and fuzzy logic, while the laws of excluded middle, identity and ...
morteza haj hoseyni
doaj +1 more source
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +1 more source
Manuscrito, 2019 In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj +1 more source
On intermediate many-valued logics.
Journal of the Mathematical Society of Japan, 1959 Toshio Umezawa
openaire +3 more sources
Discussiones Mathematicae - General Algebra and Applications, 2020 In this paper we investigate some isomorphism theorems in EQ-algebras. After establishing some basic results we give the Fundamental Homomorphism Theorem and by using it we state and prove some other isomorphism theorems.
Bakhshi M., Khavari M.R., Nazifi M.
doaj +1 more source
Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics
Entropy, 2021 We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to ...
Roberto Leporini
doaj +1 more source
Proof Theory of Finite-valued Logics [PDF]
, 1993 The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux
Zach, Richard
core +5 more sources
Many-valued coalgebraic logic over semi-primal varieties [PDF]
Logical Methods in Computer ScienceWe study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz +2 more
doaj +1 more source