Results 11 to 20 of about 26,770 (264)
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source
Non-classical Metatheory for Non-classical Logics [PDF]
Journal of Philosophical Logic, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
LTL-Specification of Bounded Counter Machines
Моделирование и анализ информационных систем, 2022 The article revises the results of the work devoted to the problem of representing the behaviour of a program system as a set of formulas of the linear temporal logic LTL, followed by the use of this representation to verify the satisfiability of the ...
Egor V. Kuzmin
doaj +1 more source
On validity paradoxes and (some of) their solutions
Principia: An International Journal of Epistemology, 2023 Many semantic theories become trivial when extended with a naïve validity predicate due to the validity paradoxes. The non-classical semantic theories are the ones that allegedly preserve the naïveté of the validity predicate while being capable of ...
Edson Bezerra
doaj +1 more source
A Fundamental Non-Classical Logic
Logics, 2023 We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules ...
openaire +3 more sources
The Logic of Self-Organized Criticality
Studia Humana, 2015 A consideration of non-classical logic in terms of classical one allows us to show a role of designated truth values. In this way we show that our version of non-classical many-valued logic can be based on the structure of genetic code.
Bakhtiyarov Kamil I.
doaj +1 more source
Validity of the laws of Non-contradiction and Excluded middle; Logical or Psychological (Review of misunderstandings and misinterpretations, self-made accusations and types of fallacies in a criticism) [PDF]
حکمت معاصرIn Classical Logic, the law of non-contradiction and the law of excluded middle are considered theorems and have proof. Recently, Morteza Hajihosseini has written a book titled Two Non-Classical Logic Systems, A New Outlook on Elements of Logic (2017 ...
Morteza Hajihosseini +1 more
doaj +1 more source
Logical Paradoxes in Non-Classical Logic Systems [PDF]
, 2021 It is shown that well-known logical paradoxes such as Barber paradox can be interpreted differently in non-classical logic systems such as multi-valued, continuous and quantum logic with possibility of solutions of the paradox. The results of this research can have applications in investigations of completeness of logic systems.
openaire +1 more source
Proof Complexity of Non-classical Logics [PDF]
, 2012 Proof complexity is an interdisciplinary area of research utilising techniques from logic, complexity, and combinatorics towards the main aim of understanding the complexity of theorem proving procedures. Traditionally, propositional proofs have been the main object of investigation in proof complexity.
Beyersdorff, O, Kutz, O
openaire +3 more sources
To teach logic to prospective mathematics teachers (Part III) [PDF]
Известия Саратовского университета. Новая серия: Серия Философия. Психология. Педагогика, 2022 Introduction. The article is the third part of the author’s article under the same title published in previous issues of this journal. It discusses the problem of forming the logical competencies of future mathematics teachers both at the undergraduate ...
Igoshin, Vladimir Ivanovich
doaj +1 more source