Results 101 to 110 of about 806,990 (259)
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
Consistency and Some Other Requirements of a Formal Theory in the Context of Multiverse Models
Studia HumanaThe paper is devoted to the problem of describing reality in the language of mathematics and logic in connection with intellectual intuition. The question raised is how the basic requirements of mathematical theory and logic will change if some of the ...
Karpenko Ivan
doaj +1 more source
Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes. [PDF]
Sensors (Basel), 2021 Da Silva Filho JI +10 more
europepmc +1 more source
Aspects of the Historical Development of Paraconsistent Logic [PDF]
, 1989 Ayda I. Arruda
openalex +1 more source
Human verifications: Computable with truth values outside logic. [PDF]
Proc Natl Acad Sci U S A, 2023 Johnson-Laird PN +2 more
europepmc +1 more source
An Easy Road to Multi-contra-classicality. [PDF]
Erkenntnis, 2021 Estrada-González L.
europepmc +1 more source
, 2011 Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of ...
Bergstra, Jan Aldert
core +1 more source
Nelson's paraconsistent logics
Logic and Logical Philosophy, 2004 Summary: David Nelson's constructive logics with strong negation may be viewed as alternative paraconsistent logic. These logics have been developed before da Costa's works. We address some philosophical aspects of Nelson's logics and give technical results concerning Kripke models and tableau calculi.
openaire +3 more sources
Improving the efficiency of using multivalued logic tools. [PDF]
Sci Rep, 2023 Suleimenov IE +3 more
europepmc +1 more source
LP, K3, and FDE as Substructural Logics [PDF]
, 2017 Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems.
Shapiro, Lionel
core