Results 11 to 20 of about 77,874 (289)

Judgement aggregation in non-classical logics

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

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

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

Logical Paradoxes in Non-Classical Logic Systems [PDF]

, 2021
It is shown that well-known logical paradoxes such as Barber paradox can be interpreted differently in non-classical logic systems such as multi-valued, continuous and quantum logic with possibility of solutions of the paradox. The results of this research can have applications in investigations of completeness of logic systems.
openaire   +1 more source

Belief Change without Compactness

CLEI Electronic Journal, 2021
Dealing with dynamics is a vital problem in Artificial Intelligence (AI). An intelligent system should be able to perceive and interact with its environment to perform its tasks satisfactorily.
Jandson S Ribeiro
doaj   +1 more source

Speakable in Quantum Mechanics [PDF]

, 2011
At the 1927 Como conference Bohr spoke the now famous words "It is wrong to think that the task of physics is to find out how nature is. Physics concerns what we can say about nature." However, if the Copenhagen interpretation really holds on to this ...
A. Baltag, A. Döring, A. Kent, A. Peres, A. Peres, A. Peres, A. Stairs, C. J. Isham, D. A. Meyer, D. Bohm, H. J. Folse, J. F. Clauser, J. V. Corbett, K. R. Popper, M. Caspers, M. Dummett, R. B. Griffiths, R. Clifton, R. Hermens, R. P. Feynman, Ronnie Hermens, S. Bell J., T. Maudlin   +22 more
core   +4 more sources

Method of marks for propositional linear temporal logic

Lietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
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

Proof Complexity of Non-classical Logics [PDF]

, 2012
Proof complexity is an interdisciplinary area of research utilising techniques from logic, complexity, and combinatorics towards the main aim of understanding the complexity of theorem proving procedures. Traditionally, propositional proofs have been the main object of investigation in proof complexity.
Beyersdorff, O, Kutz, O
openaire   +3 more sources