Results 11 to 20 of about 512,574 (282)
Non-classical Metatheory for Non-classical Logics [PDF]
Journal of Philosophical Logic, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andrew Bacon
openaire +4 more sources
On the prediction of Covid-19 time series: an intuitionistic fuzzy logic approach [PDF]
Journal of Fuzzy Extension and Applications, 2021 This paper presents a time series analysis of a novel coronavirus, COVID-19, discovered in China in December 2019 using intuitionistic fuzzy logic system with neural network learning capability. Fuzzy logic systems are known to be universal approximation
Imo Eyo, Jeremiah Eyoh, Uduak Umoh
doaj +1 more source
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
LTL-Specification of Counter Machines
Моделирование и анализ информационных систем, 2021 The article is written in support of the educational discipline “Non-classical logics”. Within the framework of this discipline, the objects of study are the basic principles and constructive elements, with the help of which the formal construction of ...
Egor V. Kuzmin
doaj +1 more source
The Logic of Quantum Mechanics Derived from Classical General Relativity [PDF]
, 1997 For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A
Hadley, Mark J.
core +3 more sources
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination [PDF]
, 2010 In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed.
Axel Polleres +4 more
core +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
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
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 Linear/Producer/Consumer Model of Classical Linear Logic [PDF]
, 2014 This paper defines a new proof- and category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?.
Paykin, Jennifer, Zdancewic, Steve
core +9 more sources