Results 11 to 20 of about 339,779 (297)

META-CLASSICAL NON-CLASSICAL LOGICS

The Review of Symbolic Logic
Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of
E. Barrio, Camillo Fiore, F. Pailos
semanticscholar   +5 more sources

Judgement aggregation in non-classical logics

Journal of Applied Non-Classical Logics, 2017
To appear in Journal of Applied Non-Classical ...
Daniele Porello
semanticscholar   +5 more sources

BELIEF REVISION IN NON-CLASSICAL LOGICS

The Review of Symbolic Logic, 2008
In this article, we propose a belief revision approach for families of (non-classical) logics whose semantics are first-order axiomatisable. Given any such (non-classical) logic $L$, the approach enables the definition of belief revision operators for $L$, in terms of a belief revision operation satisfying the postulates for revision theory proposed by
D. Gabbay, O. Rodrigues, A. Russo
semanticscholar   +3 more sources

Skolem Functions in Non-Classical Logics

The Australasian Journal of Logic, 2017
This paper shows how to conservatively extend theories formulated in non-classical logics such as the Logic of Paradox, the Strong Kleene Logic and relevant logics with Skolem functions. Translations to and from the language extended by Skolem functions into the original one are presented and shown to preserve derivability.
Tore Fjetland Øgaard
semanticscholar   +4 more sources

A Fundamental Non-Classical Logic

Logics, 2023
We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules ...
openaire   +3 more sources

Mathematical Text Processing in EA-style: a Sequent Aspect

Journal of Formalized Reasoning, 2016
The paper is devoted to the study of one of the aspects of the so-called Evidence Algorithm programme advanced by Academician V.M.~Glushkov and connected with the problem of automated theorem-proving search in the signature of first-order theories that ...
Alexander Lyaletski
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

AGM-Like Paraconsistent Belief Change [PDF]

, 2017
Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle ...
Coniglio, Marcelo E., Ribeiro, Márcio M., Testa, Rafael R.   +2 more
core   +1 more source

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

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