trustme.bro/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
refutedsupported
the weight of evidence
6 sources for · 0 against

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.

Evidence for · 6
Towards a neuro-symbolic approach for precision anti-reflux surgery.
2026 · cited by 1
Discusses integrating AI with formal logic-based reasoning for clinical decision-making and surgical management.
See more details
The analysis

Judged against the evidence record for claims of this kind.

More for · 5
Paraconsistent Logic Programming in Three and Four-Valued Logics
2022 · cited by 1
Examines paraconsistent and three/four-valued logics and their practical applications in artificial intelligence and logic programming.
OpenAIRE: Higher-order theorem proving and its applications
2019 · cited by 0
Shows that automated reasoning within expressive non-classical logics is successfully applied in academic and industrial applications.
OpenAIRE: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2004 · cited by 0
Establishes that interval temporal logics (non-classical) are successfully used for specification and verification of hardware and real-time systems.
OpenAIRE: Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases
2023 · cited by 0
Discusses tractable methods for handling inconsistency in formal ontologies, touching on lightweight description logics.
OpenAIRE: Analysis of Security-Based Protocols for Data Transfer in Cloud Environments
2024 · cited by 0
Integrates epistemic logic with cloud computing security protocols to formally verify security measures.
Everything we examined (16)
  1. Wikipedia: Logicreferenceno side takennot shown: read and judged not to bear on this claim
  2. Wikipedia: Reasonreferenceno side takennot shown: read and judged not to bear on this claim
  3. Book: Practical Reasoningreferencesupportsnot shown: a book whose author and subject did not establish authority here
  4. Book: Programming Languages and Systemsreferenceno side takennot shown: read and judged not to bear on this claim
  5. OpenAIRE: Higher-order theorem proving and its applicationspeer-reviewedsupports
  6. OpenAIRE: zbMATH Open Web Interface contents unavailable due to conflicting licenses.peer-reviewedsupports
  7. OpenAIRE: Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge basespeer-reviewedsupports
  8. OpenAIRE: Analysis of Security-Based Protocols for Data Transfer in Cloud Environmentspeer-reviewedsupports
  9. OpenAIRE: A Unified Framework for Computational Substrate Access via Adaptive Harmonic Rasterization Collapsepeer-reviewedno side takennot shown: read and judged not to bear on this claim
  10. OpenAIRE: CEC (Convergent-Explosive Communication) Theory: Theoretical Construction, Quantitative System and Cross-Scenario Verification of Exponential Dissemination of High-Value Targets Under the Hetero-confirmation anpeer-reviewedno side takennot shown: read and judged not to bear on this claim
  11. Classical logic, argument and dialecticpeer-reviewedno side takennot shown: read and judged not to bear on this claim
  12. Neuro-symbolic AI for auditable cognitive information extraction from medical reports.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  13. Towards a neuro-symbolic approach for precision anti-reflux surgery.peer-reviewedsupports
  14. Paraconsistent Logic Programming in Three and Four-Valued Logicspeer-reviewedsupports
  15. Enhanced trajectory tracking for autonomous navigation of wheeled mobile robots using an adaptive fuzzy PID controller.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  16. Empirical Logic for Bio-Inspired Soft Computing: Illustrative Applications in Control Engineering and Cluster Analysis.peer-reviewedno side takennot shown: read and judged not to bear on this claim
The paper trail · every fact has a biography
first checked05 Aug 2026
judged → SUPPORTED · 7705 Aug 2026
This receipt carries no identity, shared or not. Sharing publishes your connection to it, not your data.
Check your own claim
Challenge the receipt
trust me, bro: win the argument, pass the class, survive peer review.
This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work · Dispute this receipt