Results 251 to 260 of about 506,932 (281)
Some of the next articles are maybe not open access.
On Translation of Finitely-Valued Logics to Classical First-Order Logic
1998The main goal of this paper is to give a better understanding of existing many-valued resolution procedures, and thus help to improve the efficiency of automated theorem proving in finitely-valued logics. First, we briefly present a method for translation to clause form in finitely-valued logics based on distributive lattices with operators, which uses
openaire +1 more source
First-Order Connexivity for Classical Logic: Quantifiers, Empty Domains, and Existential Commitments
Connexive logics are typically understood as contra-classical: in order to validate the Aristotelian and Boethian theses, one gives up core principles of classical logic. Fiore has challenged this picture by introducing a metalevel relation of antisoundness and arguing that, at the propositional level, classical logic already satisfies suitable ...openaire +1 more source
Concerning the semantic consequence relation in first-order temporal logic
Theoretical Computer Science, 1986Andrzej Szalas
exaly
A semantic study of the first-order predicate logic with uncertainty involved
Fuzzy Optimization and Decision Making, 2014Xiang Li
exaly