Results 1 to 10 of about 77,551 (274)

The Logic of Khārijī Propositions [PDF]

حکمت سینوی, 2023
There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj   +1 more source

Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic

Applied Sciences, 2022
This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols.
Alexandru Baltag, Sonja Smets
doaj   +1 more source

LTL-Specification of Counter Machines

Моделирование и анализ информационных систем, 2021
The article is written in support of the educational discipline “Non-classical logics”. Within the framework of this discipline, the objects of study are the basic principles and constructive elements, with the help of which the formal construction of ...
Egor V. Kuzmin
doaj   +1 more source

Globally Admissible Inference Rules

Известия Иркутского государственного университета: Серия "Математика", 2022
Setting the basic rules of inference is fundamental to logic. The most general variant of possible inference rules are admissible inference rules: in logic 𝐿, a rule of inference is admissible if the set of theorems 𝐿 is closed with respect to this rule.
V.V. Rimatskiy
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

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Manuscrito, 2015
In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in ...
WALTER CARNIELLI, ABÍLIO RODRIGUES
doaj   +1 more source

Conditionals and modularity in general logics [PDF]

, 2010
In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic ...
Gabbay, Dov, Schlechta, Karl
core   +2 more sources

Defining Cognitive Logics by Non-Classical Tableau Rules

Studies in Logic, Grammar and Rhetoric, 2016
In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language.
Jarmużek Tomasz
doaj   +1 more source

Neutrosophic Regular Filters and Fuzzy Regular Filters in Pseudo-BCI Algebras [PDF]

Neutrosophic Sets and Systems, 2017
Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indeterminacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics ...
Xiaohong Zhang, Yingcang Ma, Florentin Smarandache   +2 more
doaj   +1 more source

LOGICS, INTERPRETATIONS AND INFORMAL RIGOR [PDF]

Kriterion
The development of non-classical logics brought to light the question of their philosophical interpretation. Given a non-classical logic L, what is the informal/philosophical interpretation of its vocabulary? We find in the literature arguments defending
Edson Bezerra
doaj   +1 more source