Results 1 to 10 of about 101 (42)
Sistemas multi–modales de profundidad restringida [PDF]
Ingeniería y Ciencia, 2008 Se presentan como extensiones del cálculo proposicional clásico, la jerarquíade sistemas deductivos SMM–n con n > 1. SMM–n es el sistema multi–modalde profundidad–n. El sistema SMM–1 es el cálculo proposicional clásico.
Manuel Sierra A.
doaj +3 more sources
DRAT and Propagation Redundancy Proofs Without New Variables [PDF]
Logical Methods in Computer Science, 2021 We study the complexity of a range of propositional proof systems which allow inference rules of the form: from a set of clauses $\Gamma$ derive the set of clauses $\Gamma \cup \{ C \}$ where, due to some syntactic condition, $\Gamma \cup \{ C \}$ is ...
Sam Buss, Neil Thapen
doaj +1 more source
A New Interpretation of Multi-Polarity Fuzziness Subalgebras of BCK/BCI-Algebras
Fuzzy Information and Engineering, 2022 In this paper, as a further generalization of m-polar fuzziness subalgebras, we present the conception of an m-polar [Formula: see text]-fuzzy subalgebra in BCK/BCI-algebras and discuss some interesting properties of it.
Anas Al-Masarwah, Abd Ghafur Ahmad
doaj +1 more source
Fuzzy Weak Filters of Sheffer Stroke Hilbert Algebras
Annales Mathematicae Silesianae, 2023 The (fuzzy) filter of the Sheffer stroke Hilbert algebra was addressed by Oner, Katican and Borumand Saeid. The weak version of the filter was discussed by Jun and Oner. In this manuscipt, with the fuzzy version of the weak filter in mind, the notions of
Borzooei Rajab Ali +2 more
doaj +1 more source
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
Some properties of n-dimensional (∈γ, ∈γ, ∨qδ)-fuzzy subalgebra in BRK-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2016 The purpose of this paper is to initiate the concept of n-dimensional (∈γ, ∈γ, ∨qδ)-fuzzy subalgebra in BRK-algebra and investigate some of their related properties.
Zulfiqar Muhammad
doaj +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