Results 11 to 20 of about 77,551 (274)

Non-classical Metatheory for Non-classical Logics [PDF]

Journal of Philosophical Logic, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 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

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

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

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

What is a Paraconsistent Logic? [PDF]

, 2018
Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is
Alexej Pynko, Arnon Avron, Arnon Avron, Bogdan Dicher, Dana Scott, David Ripley, David Ripley, David Ripley, David Shoesmith, Dov Gabbay, Eduardo Barrio, Edwin Mares, Elia Zardini, Emmanuel Chemla, Florencio Asenjo, Graham Priest, Grzegorz Malinowski, Grzegorz Malinowski, Grzegorz Malinowski, Igor Urbas, Jean-Yves Girard, Lloyd Humberstone, Pablo Cobreros, Pablo Cobreros, Robert Stärk, Rohan French, Szymon Frankowski, Szymon Frankowski, Walter Carnielli, Willem Blok, Yaroslav Shramko   +30 more
core   +1 more source

Many-valued logics. A mathematical and computational introduction. [PDF]

, 2020
2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values.
Augusto, Luis M.
core  

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

A specialization of definitions in common knowledge logic

Lietuvos Matematikos Rinkinys, 2011
It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys, Regimantas Pliuškevičius   +1 more
doaj   +1 more source