Results 11 to 20 of about 65,816 (273)

Inferential Interpretations of Many-Valued Logics

Logics
Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued ...
Sanderson Molick
doaj   +3 more sources

Many-Valued Logics and Translations

Journal of Applied Non-Classical Logics, 1999
This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propo...
D'Ottaviano, Ítala M. Loffredo, Feitosa, Hércules D. Araujo   +1 more
openaire   +5 more sources

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, Hanamantagouda P. Sankappanavar   +1 more
doaj   +1 more source

TWO-VALUED WEAK KLEENE LOGICS

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

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

Isomorphisms in EQ-Algebras

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

Many-valued coalgebraic logic over semi-primal varieties [PDF]

Logical Methods in Computer Science
We 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, Wolfgang Poiger, Bruno Teheux   +2 more
doaj   +1 more source

Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent

Philosophia Scientiæ, 2014
The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj   +1 more source

Dual Systems of Sequents and Tableaux for Many-Valued Logics [PDF]

, 1993
The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems.
Baaz, Matthias, Fermüller, Christian G., Zach, Richard   +2 more
core   +3 more sources