Results 251 to 260 of about 11,095,469 (278)
Some of the next articles are maybe not open access.
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
Russell and His Sources for Non-Classical Logics
Logica Universalis, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
A framework for non-classical logics.
1997The subject of this work is the development and investigation of a \emph{framework} for the modular and uniform representation and implementation of \emph{non-classical logics}, in particular modal and relevance logics. Logics are presented as labelled natural deduction (or sequent) systems, which are proved to be sound and complete with respect to the
openaire +2 more sources
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
Why classical logic is privileged: justification of logics based on translatability
SynthÈse, 2021Gerhard Schurz
exaly
An Introduction to Non-Classical Logic
2008This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for
openaire +1 more source
Jc Beall’s current and potential impact on the continental philosophy of non-classical logics
Asian Journal of Philosophy, 2023Corry Shores
exaly
Combining and automating classical and non-classical logics in classical higher-order logics
Annals of Mathematics and Artificial Intelligence, 2011Christoph Benzmüller
exaly