The book presents a thoroughly elaborated logical theory of generalized truth-values
understood as subsets of some established set of (basic) truth values. After elucidating the …

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions
of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the …

This paper considers some issues to do with valuational presentations of consequence
relations, and the Galois connections between spaces of valuations and spaces of …

RESUMO O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de
aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree …

Paraconsistent logics are non-classical logics which allow non-trivial and consistent
reasoning about inconsistent axioms. They have been pro-posed as a formal basis for …

In this paper natural deduction systems for four-valued logic FDE (first degree entailment)
and its extensions are constructed. At that B. Kooi and A. Tamminga's method of …

Transreal numbers provide a total semantics containing classical truth values, dialetheaic,
fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a …

Покажчик присвячено Ярославу Владиславовичу Шрамку–доктору філософських наук,
професору, ректору Криворізького державного педагогічного університету …

In the present work I introduce a semantics based on the cognitive attitudes of acception and
rejection entertained by a given society of agents for logics inspired on Dunn and Belnap's …

This paper constitutes the second part of the duology dedicated to many-valued matrices of
the classical propositional logic regarded as a tool of construction and analysis of non …