Results 251 to 260 of about 77,551 (274)
Some of the next articles are maybe not open access.
Interpolation in non-classical logics
Synthese, 2008zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
On AGM for Non-Classical Logics
Journal of Philosophical Logic, 2011The purpose of this paper is to review some of the work that has been done adapting the AGM theory of belief change to contexts where the background logic is non-classical. It is not intended as an exhaustive survey of the field; for example, it does not discuss the case of intuitionistic logic.
openaire +1 more source
Non-Classical Logics, Non-Classical Sets, and Non-Classical Physics
1999Quantum physics and many-valued logics were born nearly simultaneously in the third decade of the XX Century. However, the early attempts at identifying logic able to describe quantum systems with some versions of a three-valued logic failed and the opinion that “quantum logic”, although non-classical, is a two-valued logic prevailed.
openaire +2 more sources
1989
The construction of many-valued logical systems is commonly believed to have been one of the major achievements of the Warsaw School, and specifically of Łukasiewicz.1 The first mention of many-valued (three-valued) logic is to be found in Łukasiewicz’s farewell speech at Warsaw University on March 7,1918.
openaire +1 more source
The construction of many-valued logical systems is commonly believed to have been one of the major achievements of the Warsaw School, and specifically of Łukasiewicz.1 The first mention of many-valued (three-valued) logic is to be found in Łukasiewicz’s farewell speech at Warsaw University on March 7,1918.
openaire +1 more source
2011
Classical logic is usually viewed as a masterpiece of the human mind. It serves as the basic logic of classical mathematics and almost all other sciences. However, despite its long history and venerable reputation, it is not an ideal logic. It faces serious objections which demonstrate that as a practical tool, it is inadequate.
openaire +1 more source
Classical logic is usually viewed as a masterpiece of the human mind. It serves as the basic logic of classical mathematics and almost all other sciences. However, despite its long history and venerable reputation, it is not an ideal logic. It faces serious objections which demonstrate that as a practical tool, it is inadequate.
openaire +1 more source
2000
Contents: List of Figures. List of Tables. Acknowledgments. 1. Introduction. Part I: Labelled deduction for non-classical logics. 2. Labelled Natural Deduction Systems for Propositional Modal Logics. 3. Labelled Natural Deduction Systems for Propositional Non-Classical Logics. 4. Labelled Natural Deduction Systems for Quantified Modal Logics.
openaire +2 more sources
Contents: List of Figures. List of Tables. Acknowledgments. 1. Introduction. Part I: Labelled deduction for non-classical logics. 2. Labelled Natural Deduction Systems for Propositional Modal Logics. 3. Labelled Natural Deduction Systems for Propositional Non-Classical Logics. 4. Labelled Natural Deduction Systems for Quantified Modal Logics.
openaire +2 more sources
Proofs and Countermodels in Non-Classical Logics
Logica Universalis, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Definability and Interpolation in Non-Classical Logics
Studia Logica, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2001
Fine-Grained Theories of Time (P Blackburn) Revision Sequences and Computers with an Infinite Amount of Time (B Lowe) On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman) Truthmakers, Entailment and Necessity (S Read) Global Definability in Basic Modal Logic (M de Rijke & H Sturm) Ackermann's Implication for ...
openaire +2 more sources
Fine-Grained Theories of Time (P Blackburn) Revision Sequences and Computers with an Infinite Amount of Time (B Lowe) On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman) Truthmakers, Entailment and Necessity (S Read) Global Definability in Basic Modal Logic (M de Rijke & H Sturm) Ackermann's Implication for ...
openaire +2 more sources
Classical vs Non-Classical Logics
1980Most 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