trustmebro.to/r/…
✓ checked
trust me, bro:
here is the receipt.
the claim

Non-classical formal logics are successfully applied to solve practical reasoning and computing problems.

the verdict
SUPPORTED
the evidence backs this
Recorded sources
6 sources for · 0 against

Counts group repeated records of the same source within each side. They do not measure evidence strength or source independence.

Is it true that Non-classical formal logics are successfully applied to solve practical reasoning and computing problems?

Yes. Multiple peer-reviewed sources and conference proceedings demonstrate that non-classical formal logics (such as temporal logics, paraconsistent logics, and higher-order logics) are successfully applied to practical computing, reasoning, and verification problems.

Verdict: SUPPORTED · 6 sources for, 0 against · Last checked

The analysis

Judged against the evidence record for claims of this kind.

Evidence for · 6
OpenAIRE: Higher-order theorem proving and its applications
2019
Shows that automated reasoning within expressive non-classical logics is successfully applied in academic and industrial applications.
Get citation
OpenAIRE: Higher-order theorem proving and its applications. (2019). OpenAIRE. https://doi.org/10.1515/itit-2019-0001

See more details
More for · 5
OpenAIRE: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2004
Establishes that interval temporal logics (non-classical) are successfully used for specification and verification of hardware and real-time systems.
Get citation
OpenAIRE: zbMATH Open Web Interface contents unavailable due to conflicting licenses.. (2004). OpenAIRE. https://explore.openaire.eu/

OpenAIRE: Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases
2023
Discusses tractable methods for handling inconsistency in formal ontologies, touching on lightweight description logics.
Get citation
OpenAIRE: Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases. (2023). OpenAIRE. https://doi.org/10.1080/11663081.2023.2244741

OpenAIRE: Analysis of Security-Based Protocols for Data Transfer in Cloud Environments
2024
Integrates epistemic logic with cloud computing security protocols to formally verify security measures.
Get citation
OpenAIRE: Analysis of Security-Based Protocols for Data Transfer in Cloud Environments. (2024). OpenAIRE. https://doi.org/10.5281/zenodo.21293718

Towards a neuro-symbolic approach for precision anti-reflux surgery.
2026
Discusses integrating AI with formal logic-based reasoning for clinical decision-making and surgical management.
Get citation
Q, W., Y, D., A, A., M, M., A, R., X, L., V, P., N, L., & L, B. (2026). Towards a neuro-symbolic approach for precision anti-reflux surgery.. peer-reviewed literature. https://doi.org/10.1007/s13304-026-02645-3

Paraconsistent Logic Programming in Three and Four-Valued Logics
2022
Examines paraconsistent and three/four-valued logics and their practical applications in artificial intelligence and logic programming.
Get citation
Oliveira, K. Ê. C. d. S. (2022). Paraconsistent Logic Programming in Three and Four-Valued Logics. peer-reviewed literature. https://doi.org/10.1017/bsl.2021.34

Related receipts

What does the evidence say?

Judged against the evidence record for claims of this kind.

Receipt History
first checked05 Aug 2026
judged → SUPPORTED · 7705 Aug 2026
Anyone with this link can read the claim and its public receipt, including any personal information in that text. Open permanent receipt.
Check your own claim
Challenge the receipt
Requests are recorded for review. This does not start an automatic check or guarantee a response time.

See the evidence timeline

Citation formatting by citeproc-js (Frank Bennett) and the Citation Style Language project. Source and licenses.

This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work