Results 61 to 70 of about 77,551 (274)
Exact Unification and Admissibility [PDF]
Logical Methods in Computer Science, 2015 A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics.
George Metcalfe, Leonardo Cabrer
doaj +1 more source
To What Type of Logic Does the "Tetralemma" Belong? [PDF]
, 2015 Although the so called tetralemma might seem to be incompatible with any recognized scheme of logical inference, its four alternatives arise naturally within the anhomomorphic logics which have been proposed in order to accommodate certain features of ...
Sorkin, Rafael D.
core
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]
, 2020 In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica +2 more
core +1 more source
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
Bisimulation in Inquisitive Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ivano Ciardelli, Martin Otto
doaj +1 more source
Isotopically Selected Co‐Doping of 121Sb and 123Sb Pairs in Silicon
Advanced Materials, EarlyView.Pairs of 121Sb and 123Sb atoms are doped into silicon using single cluster implantation and found to reside substitutionally within the crystal lattice due to self‐annealing with a Sb‐to Sb separation of ≈2 nm. Molecular dynamics simulations reproduce the observed experimental results and single ion cluster detection efficiencies of 94% are ...
Mason Adshead +14 more
wiley +1 more source
A Non-Classical Logic for Information Retrieval [PDF]
The Computer Journal, 1986 Implicit in many information retrieval models is a logic. These logics are hardly ever formalized. This paper formalizes a non-classical logic underlying information retrieval. It shows how a particular conditional logic is the `right' logic to do Information Retrieval. Its relationship to existing retrieval mechanisms is investigated. The semantics of
openaire +2 more sources
From Copper Nanoparticles to Alumina Encapsulated Porous Layers With Enhanced Mechanical Stability
Advanced Materials Interfaces, EarlyView.This study analyzes the synthesis‐structure relation of individual Cu nanoparticles and highly porous nanoparticle‐based Cu films using different sputtering‐based nanoparticle sources. The inherent mechanical instability of the films is tackled with Al2O3 encapsulation through atomic layer deposition, enabling 4‐fold increase in critical force in ...
Dominik Gutnik +6 more
wiley +1 more source
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
, 2015 Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases.
Molinari, A., Montanari, A., Peron, A.
core +1 more source