Results 11 to 20 of about 3,981 (217)
Modal Labelled Deductive Systems [PDF]
, 1995 We present a formalization of propositional modal logic in the framework of Labelled Deductive Systems (LDS) in which modal theory is presented as a "configuration" of several "local actual worlds". We define a natural deduction style
Alessandra Russo, Russo, Alessandra
core +1 more source
Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic [PDF]
, 2012 We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete.
Dutilh Novaes, Catarina +3 more
core +1 more source
Behavioral equivalence of hidden k-logics: an abstract algebraic approach [PDF]
, 2016 This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems.
Martins, Manuel A., Babenyshev, Sergey
core +1 more source
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions [PDF]
, 2016 Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions.
George Voutsadakis, Voutsadakis, George
core +1 more source
Metatheories of deductive systems
, 2004 A deductive system (Hilbert-style) is an algebraic closure system over the set of formulas of given propositional language. Similarly, a Gentzen system is an algebraic closure system over the set of all sequents, i.e., finite sequences of formulas, of ...
Babyonyshev, Sergei
core +1 more source
Deductive systems and finite axiomatization properties
, 1994 The notions of a deductive system, equational logic and Gentzen system can be generalized into the notion of a K-deductive system. A universal Horn logic is also a K-deductive system.
Pałasińska, Katarzyna
core +1 more source
Complexity of super-coherence problems in ASP
, 2014 Adapting techniques from database theory in order to optimize Answer Set Programming (ASP) systems, and in particular the grounding components of ASP systems, is an important topic in ASP.
Alviano, Mario +2 more
core +1 more source
Advanced Engineering Materials, EarlyView.This study demonstrates an efficient recycling route for out‐of‐spec AlSi10Mg atomized powders through compaction and arc remelting followed by suction casting. By correlating compaction load, cooling rate, and resulting microstructure, we show that intermediate pressures (50–80 kN) and rapid cooling refine dendrites, reduce porosity, and enhance ...
Mila Christy de Oliveira +4 more
wiley +1 more source
Current Status and Challenges in Data Collection for Aerospace Coatings Deposited by Plasma Spraying
Advanced Engineering Materials, EarlyView.An innovative approach has been integrated into the GRENAT project to optimize plasma spraying and coating performance. Raw materials are accelerated and melted in the plasma generated by torches, creating coatings. Monitoring sensors collect process data which are combined with ex situ characterization data.
Lila Randriamananjara +8 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Graphene nanoplatelet (0.1 wt.%) reinforcement significantly enhances the performance of β Ti‐28Nb‐35.4Zr alloy. Grain refinement, reduced water contact angle, and improved surface characteristics promote osteoblast adhesion and complete surface coverage after 7 days.
Khurram Munir +5 more
wiley +1 more source