Results 181 to 190 of about 339,779 (297)

Constructive Canonicity in Non-Classical Logics

Annals of Pure and Applied Logic, 1997
S. Ghilardi, G. Meloni
semanticscholar   +1 more source

Natural deduction for non-classical logics

, 1996
We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models.
Basin, D., Matthews, S., Viganò, L.
openaire   +1 more source

Real‐Time and Rapid Dynamic Missile Identification Utilizing a TiOx Memristor Array

Advanced Intelligent Systems, EarlyView.
Real‐time missile target identification is demonstrated using an artificial intelligence model based on step‐weighted long–short‐term memory networks and a TiOx memristor array. The approach classifies five projectile types with enhanced early‐stage prediction through data augmentation and custom training strategies. Achieving 94.4% accuracy, the model
Mingyu Kim, Gwanyeong Park, Gunuk Wang
wiley   +1 more source

Female intuition in economics and conscious leadership: a comprehensive integrative review of conceptual foundations, cultural moderators, and future directions. [PDF]

Front Sociol
Gómez Tobías R.
europepmc   +1 more source

Translation Methods for Non-Classical Logics: An Overview

Logic Journal of the IGPL, 1993
Hans Jürgen Ohlbach
semanticscholar   +1 more source

Decidability results in non-classical logics

Annals of Mathematical Logic, 1975
openaire   +1 more source

Trade Realignments and the Need for Integrated Modeling Research in Latin America's Agri‐Food Sector

Agribusiness, EarlyView.
Emiliano Lopez Barrera
wiley   +1 more source

Bridging High‐Fidelity Simulations and Physics‐Based Learning using a Surrogate Model for Soft Robot Control

Advanced Intelligent Systems, EarlyView.
A surrogate‐model‐based framework is proposed for combining high‐fidelity finite element method and efficient physics simulations to enable fast, accurate soft robot simulation for reinforcement learning, validated through sim‐to‐real experiments. Soft robotics holds immense promise for applications requiring adaptability and compliant interactions ...
Taehwa Hong, Jungjae Lee, Byung‐Hyun Song, Yong‐Lae Park   +3 more
wiley   +1 more source

Chromatic Quantum Contextuality. [PDF]

Entropy (Basel)
Svozil K.
europepmc   +1 more source

Modern perspectives in Proof Theory. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Aguilera JP, Pakhomov F, Weiermann A.
europepmc   +1 more source