In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. ...

Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 4 of a De ...

In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) ...

The way from linearly written derivations in natural deduction, introduced by Jaskowski and often used in textbooks, is a straightforward root-first translation. The other direction, instead, is tricky, because of the ...

In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that ...

In this paper, we are going to introduce a fundamental relation on \(H_{v}BE\)-algebra and investigate some of properties, also construct new \((H_{v})BE\)-algebras via this relation. We show that quotient of any ...

More general form of (∈, ∈ ∨q)-neutrosophic ideal is introduced, and their properties are investigated. Relations between (∈, ∈)-neutrosophic ideal and (∈, ∈ ∨q(kT ,kI ,kF ))-neutrosophic ideal are discussed. Characterizations ...

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, ...

In a recent paper del Valle-Inclan and Schlöder argue that bilateral calculi call for their own notion of proof-theoretic harmony, distinct from the usual (or ‘unilateral’) ones. They then put forward a specifically bilateral ...

This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a ...