Results 31 to 40 of about 1,033,736 (302)

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

Many-valued hybrid logic [PDF]

Journal of Logic and Computation, 2015
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
Hansen, Jens Ulrik, Bolander, Thomas, Braüner, Torben   +2 more
openaire   +3 more sources

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

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

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

Inferential Interpretations of Many-Valued Logics

Logics
Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued ...
Sanderson Molick
doaj   +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

Many-Valued Logics and Translations

Journal of Applied Non-Classical Logics, 1999
This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propo...
D'Ottaviano, Ítala M. Loffredo, Feitosa, Hércules D. Araujo   +1 more
openaire   +4 more sources

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