Results 11 to 20 of about 11,095,469 (278)

Problem Libraries for Non-Classical Logics

EPiC Series in Computing, 2018
Problem libraries for automated theorem proving (ATP) systems play a crucial role when developing, testing, benchmarking and evaluating ATP systems for classical and non-classical logics. We provide an overview of existing problem libraries for some important non-classical logics, namely first-order intuitionistic and first-order modal logics.
Jens Otten, Thomas Raths
openaire   +4 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   +2 more sources

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

Journal of Philosophical Logic, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]

, 2010
In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core   +2 more sources

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

Many-valued Logics And Translations

, 2015
This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and
Feitosa H.D.A., D'Ottaviano I.M.L.
core   +2 more sources

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

, 2013
A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory.
Bacon, Andrew
core   +4 more sources

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

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

Subintuitionistic logics and their modal companions: a nested approach. [PDF]

J Appl Non Class Log
In the present paper we deal with subintuitionistic logics and their modal companions. In particular, we introduce nested calculi for subintuitionistic systems and for modal logics in the S5 modal cube ranging from K to S4. The latter calculi differ from
Tesi M.
europepmc   +2 more sources