Results 251 to 260 of about 2,869,949 (320)
Some of the next articles are maybe not open access.
, 2020
Philosophy and Logic of Physical Theory A Short History of the Classical Theory of Charged Particles Foundations of Classical Mechanics The Maxwell-Lorentz Field Electromagnetic Radiation The Charged Particle Generalizations The Relations of the ...
F. Rohrlich
semanticscholar +1 more source
Philosophy and Logic of Physical Theory A Short History of the Classical Theory of Charged Particles Foundations of Classical Mechanics The Maxwell-Lorentz Field Electromagnetic Radiation The Charged Particle Generalizations The Relations of the ...
F. Rohrlich
semanticscholar +1 more source
ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
The Review of Symbolic Logic, 2018In two recent articles, Norihiro Kamide introduces unusual variants of Nelson’s paraconsistent logic and its classical extension. Kamide’s systems, IP and CP, are unusual insofar as double negations in these logics behave as intuitionistic and classical ...
Hitoshi Omori, H. Wansing
semanticscholar +1 more source
Modal Extensions of Sub-classical Logics for Recovering Classical Logic
Logica Universalis, 2013zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Coniglio, Marcelo E., Peron, Newton M.
openaire +1 more source
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
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, 1991There 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
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
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 Logic is not Uniquely Characterizable
Journal of Philosophical Logic, 2022Isabella McAllister
semanticscholar +1 more source
Classical vs Non-classical Logics (The Universality of Classical Logic)
1994Abstract 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
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
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
Classical Logic and the Strict Tolerant Hierarchy
Journal of Philosophical Logic, 2020Chris Scambler
semanticscholar +1 more source

