On exact conditionals.
On extensions of Nelson's logic satisfying Dummett's axiom.
On functions that cannot be mv-truth values in algebraic structures.
It is shown, in a general frame and playing with idempotency, that in order to have on a given lattice a Multiple Valued Logic preserving the lattice structure, the only t-norms and t-conorms allowing to modelize the truth values of a v b, a ^ b and a --> b are Min and Max, respectively, apart from ordinal sums.
On fuzzy ideals in Hilbert algebras.
On fuzzy intuitionistic logic
On general and reproductive solutions of finite equations.
On generalizations of fuzzy metric spaces
The aim of the paper is to present three-variable generalizations of fuzzy metric spaces in sense of George and Veeramani from functional and topological points of view, respectively. From the viewpoint of functional generalization, we introduce a notion of generalized fuzzy 2-metric spaces, study their topological properties, and point out that it is also a common generalization of both tripled fuzzy metric spaces proposed by Tian et al. and -fuzzy metric spaces proposed by Sedghi and Shobe. Since...
On generating large classes of Sheffer functions.
On global induction mechanisms in a -calculus with explicit approximations
We investigate a Gentzen-style proof system for the first-order -calculus based on cyclic proofs, produced by unfolding fixed point formulas and detecting repeated proof goals. Our system uses explicit ordinal variables and approximations to support a simple semantic induction discharge condition which ensures the well-foundedness of inductive reasoning. As the main result of this paper we propose a new syntactic discharge condition based on traces and establish its equivalence with the semantic...
On global induction mechanisms in a μ-calculus with explicit approximations
We investigate a Gentzen-style proof system for the first-order μ-calculus based on cyclic proofs, produced by unfolding fixed point formulas and detecting repeated proof goals. Our system uses explicit ordinal variables and approximations to support a simple semantic induction discharge condition which ensures the well-foundedness of inductive reasoning. As the main result of this paper we propose a new syntactic discharge condition based on traces and establish its equivalence with the semantic...
On guessing whether a sequence has a certain property.
On hidden variables
On ideals in De Morgan residuated lattices
In this paper, we introduce a new class of residuated lattices called De Morgan residuated lattices, we show that the variety of De Morgan residuated lattices includes important subvarieties of residuated lattices such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices, MTL-algebras and involution residuated lattices. We investigate specific properties of ideals in De Morgan residuated lattices, we state the prime ideal theorem and the pseudo-complementedness of the ideal...
On independent recursive axiomatisation in intuitionistic logic
On information storage and retrieval systems
On interpolation when function symbols are present.
On interpretability in set theories. II.
On interpretability in theories containing arithmetic
On interpretability in theories containing arithmetic. II.
On Intuitionistic Sentential Connectives I.