Zobrazeno 1 - 10
of 121
pro vyhledávání: '"03b22"'
Autor:
Bahl, Rohan
We show that including degrees of a particular kind of provability in the search target for any theorem-prover in sufficiently powerful formal systems over finite-sized statements preserves well-definition and a sufficient consistency while establish
Externí odkaz:
http://arxiv.org/abs/2410.01972
Autor:
Roy, Sayantan
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the techniques
Externí odkaz:
http://arxiv.org/abs/2408.14581
Autor:
Kamsma, Mark, Wrigley, Joshua
The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as the fact tha
Externí odkaz:
http://arxiv.org/abs/2406.02788
Most non-classical logics are subclassical, that is, every inference/theorem they validate is also valid classically. A notable exception is the three-valued propositional Logic of Ordinary Discourse (OL) proposed and extensively motivated by W. S. C
Externí odkaz:
http://arxiv.org/abs/2405.03543
Autor:
Chajda, Ivan, Länger, Helmut
Two kinds of the connective implication are introduced as term operations of a pseudocomplemented lattice. It is shown that they share a lot of properties with the intuitionistic implication based on Heyting algebras. In particular, if the pseudocomp
Externí odkaz:
http://arxiv.org/abs/2401.05541
Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar-Kleene logics, we modify them by replacing the multiple-
Externí odkaz:
http://arxiv.org/abs/2401.03265
Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras. Their ass
Externí odkaz:
http://arxiv.org/abs/2309.06764
Autor:
Chajda, Ivan, Länger, Helmut
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is relativel
Externí odkaz:
http://arxiv.org/abs/2308.11350
Autor:
Basu, Sankha S., Roy, Sayantan
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent
Externí odkaz:
http://arxiv.org/abs/2307.15358
Autor:
Brussee, Rogier
Fuzzy logic is a way to argue with boolean predicates for which we only have a confidence value between 0 and 1 rather than a well defined truth value. It is tempting to interpret such a confidence as a probability. We use Markov kernels, parametrise
Externí odkaz:
http://arxiv.org/abs/2303.03725