Results 231 to 240 of about 574,752 (282)

META-CLASSICAL NON-CLASSICAL LOGICS

The Review of Symbolic Logic
AbstractRecently, 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 ‘increasingly classical’ logics—that is, logics that are classical at the level of ...
BARRIO, EDUARDO, FIORE, CAMILLO, PAILOS, FEDERICO   +2 more
openaire   +4 more sources

Modal Extensions of Sub-classical Logics for Recovering Classical Logic

Logica Universalis, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Coniglio, Marcelo E., Peron, Newton M.
openaire   +1 more source

Classical Logic

1997
Abstract Classical propositional logic was created by Boole about 150 years ago (see Boole, 1947). It holds the central position among propositional logics not only due to its venerable age. In fact, it represents the simplest model of reasoning based upon the assumption that every proposition is either true or false.
Alexander Chagrov, Michael Zakharyaschev
openaire   +1 more source

A new constructive logic: classic logic

Mathematical Structures in Computer Science, 1991
There are two ways to present this work; the most efficient is of course to start with the main syntactical definitions, and to end with semantics: this is the presentation that we follow in the body of the text: section 1, syntex; section 2, semantics.
openaire   +1 more source

Classical logic

1991
Abstract For the established naive realist view permeating mathematics and science the classical two-valued logic is the logic, which is naturally and unquestionably supreme. Other conceptions of logic or mathematics are quaintly ideological; other people’s ideas are distinctly metaphysical.
openaire   +1 more source

Classical vs Non-classical Logics (The Universality of Classical Logic)

1994
Abstract This chapter addresses the problem of whether classical logic can be used as a universal system of logic and whether it can be applied, profitably and sensibly, in all areas where logic needs to be applied. More specifically, we focus on modal and temporal logics and ask whether the use of such special logics, as compared with ...
openaire   +1 more source

Classical Logic

2005
AbstractLogical pluralism addresses the following conditions. First, the settled core of consequence is given in the Generalised Tarski Thesis (GTT). Second, an instance of GTT is obtained by a specification of the cases in GTT, and a specification of the relation is true in a case.
openaire   +1 more source

Translating Non-classical Logics into Classical Logic by Using Hidden Variables

Logica Universalis, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Non-classical Logics

2017
This chapter surveys some non-classical logics. They are closely related to the foundations of rough set theory. We provide the basics of modal, many-valued, intuitionistic and paraconsistent logic.
Seiki Akama, Tetsuya Murai, Yasuo Kudo
openaire   +1 more source

Classical vs Non-Classical Logics

1980
Most philosophers writing recently on the logic of conditionals have accepted all the theses of our weak conditional logic W. No one, though, has seriously suggested that W exhausts the logic of conditionals. Indeed, almost everyone writing in the area has suggested some proper extension of W as the correct logic for conditions.
openaire   +1 more source