Results 21 to 30 of about 10,516 (283)

Many-valued logics and bivalent modalities [PDF]

, 2022
In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency.
Bezerra, Edson, Venturi, Giorgio
core   +1 more source

Many-valued coalgebraic logic over semi-primal varieties [PDF]

Logical Methods in Computer Science
We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz, Wolfgang Poiger, Bruno Teheux   +2 more
doaj   +1 more source

Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent

Philosophia Scientiæ, 2014
The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj   +1 more source

Construire l’Europe à Strasbourg, Luxembourg et Bruxelles : valeurs symboliques et potentiel architectural des institutions européennes

In Situ, 2023
Strasbourg, Luxembourg and Brusssels host various European institutions since the end of the World War II, each city having constructed dedicated buildings for them.
Gauthier Bolle
doaj   +1 more source

Conditions of applicability of classical logic to philosophical reasoning

RUDN Journal of Philosophy, 2018
. The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for many-valued logics.
S A Pavlov
doaj   +1 more source

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic

International Journal of Computational Intelligence Systems, 2018
Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen   +4 more
doaj   +1 more source

Leverage analysis

FORMakademisk, 2020
Many systemic design processes include the development and analysis of systems models that represent the issue(s) at hand. In causal loop diagram models, phenomena are graphed as nodes, with connections between them indicating a control relationship ...
Ryan Murphy, Peter Jones
doaj   +1 more source

Modular many-valued semantics for combined logics

, 2023
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical ...
Caleiro, Carlos, Marcelino, Sérgio
core   +1 more source

Propositional Logics Complexity and the Sub-Formula Property [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
In 1979 Richard Statman proved, using proof-theory, that the purely implicational fragment of Intuitionistic Logic (M-imply) is PSPACE-complete.
Edward Hermann Haeusler
doaj   +1 more source

ENS-AI: Un sistema experto para la enseñanza

Teoría de la Educación: Revista Interuniversitaria, 2009
The E.S. being developed in named ENS-AI, acronym for ENSeñanza Artificial Intilligence. ENS-AI will work as support and guide system for education practice.
Clara BARROSO JEREZ
doaj   +1 more source