Results 21 to 30 of about 1,033,736 (302)
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
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
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
GÖDEL ON MANY-VALUED LOGIC [PDF]
The Review of Symbolic Logic, 2021 AbstractThis paper collects and presents unpublished notes of Kurt Gödel concerning the field of many-valued logic. In order to get a picture as complete as possible, both formal and philosophical notes, transcribed from the Gabelsberger shorthand system, are included.
openaire +2 more sources
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
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
On intuitionistic many-valued logics
Journal of the Mathematical Society of Japan, 1986 The authors present systems of many-valued logic which stand to classical many-valued logics such as Intuitionistic Logic stands to classical 2- valued propositional logic. The methods are essentially those of Gentzen, but with the notion of sequent generalized to matrices of sequences of formulas.
HANAZAWA, Masazumi, TAKANO, Mitio
openaire +4 more sources
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
Paraconsistentization and many-valued logics
Logic Journal of the IGPL, 2022 Abstract This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
de Souza, Edelcio G. +2 more
openaire +2 more sources