Results 11 to 20 of about 124 (48)
Genetic snapshots of the Rhizobium species NGR234 genome. [PDF]
Genome Biol, 2000 BACKGROUND: In nitrate-poor soils, many leguminous plants form nitrogen-fixing symbioses with members of the bacterial family Rhizobiaceae. We selected Rhizobium sp.
Viprey V +3 more
europepmc +4 more sources
Algebraic Approach to Algorithmic Logic [PDF]
, 2014 We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic.
Bancerek, Grzegorz
core +5 more sources
A recovery operator for non-transitive approaches [PDF]
, 2018 In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes.
Barrio, Eduardo Alejandro +2 more
core +1 more source
Monadic dynamic algebras [PDF]
, 2006 The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly
Oliveira-Martins, M. Teresa +2 more
core +1 more source
On variable-weighted exact satisfiability problems [PDF]
, 2007 We show that the NP-hard optimization problems minimum and maximum weight exact satisfiability (XSAT) for a CNF formula C over n propositional variables equipped with arbitrary real-valued weights can be solved in O(|C|2^{0.2441n}) time.
Porschen, Stefan
core +1 more source
Fractional semantics for classical logic [PDF]
, 2019 This article presents a new (multivalued) semantics for classical propositional logic. We begin by maximally extending the space of sequent proofs so as to admit proofs for any logical formula; then, we extract the new semantics by focusing on the ...
Piazza, Mario, Pulcini, Gabriele
core +1 more source
Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's Paradox
, 2020 Paradoxes are interesting puzzles in philosophy and mathematics, and they could be even more fascinating, when turned into proofs and theorems. For example, Liar's paradox can be translated into a propositional tautology, and Barber's paradox turns into ...
Salehi, Saeed
core +1 more source
A Note on a Modified Catuskoti [PDF]
, 2014 The `catuskoti' or tetralemma in Buddhist logic is a problematic subject from the modern logical point of view. Recently a many-valued paraconsistent logic was proposed in order to formalize catuskoti adequately by G. Priest.
Makino, Tetu
core +2 more sources
An Arithmetization of Logical Oppositions [PDF]
, 2016 An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic.
Schang, Fabien
core
The Incorrect Usage of Propositional Logic in Game Theory: The Case of Disproving Oneself [PDF]
, 2015 Recently, we had to realize that more and more game theoretical articles have been published in peer-reviewed journals with severe logical deficiencies. In particular, we observed that the indirect proof was not applied correctly.
Meinhardt, Holger Ingmar
core +3 more sources