Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Online, computable and punctual structure theory: Label: en
Recollections of logicians, mathematicians and philosophers: Label: en
The cardinality of the partitions of a set in the absence of the Axiom of Choice: Label: en
The early history of formal diagonalization: Label: en
How did Avicenna understand the Barcan formulas?: Label: en
The logic languages of the TPTP world: Label: en
The logic of conditionals on outback trails: Label: en
Contrariety re-encountered: nonstandard contraries and internal negation**: Label: en
An atom’s worth of anonymity: Label: en
Logic, co-ordination and the envelope of our beliefs: Label: en
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic: Label: en
Logics and collaboration: Label: en
John Crossley: A life intellectual: Label: en
What is mathematical logic? An Australian odyssey: Label: en
Editorial: Special issue in honour of John Newsome Crossley: Label: en
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings: Label: en
Genuine paracomplete logics: Label: en
Restriction in Program Algebra: Label: en
Axioms for a Logic of Consequential Counterfactuals: Label: en
Branching Time Axiomatized With the Use of Change Operators: Label: en
Functoriality of the Schmidt construction: Label: en
Proving properties of binary classification neural networks via Łukasiewicz logic: Label: en
Free choice permission, legitimization and relating semantics: Label: en
On intermediate justification logics: Label: en
Finite axiomatizability of logics of distributive lattices with negation: Label: en
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae: Label: en
A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4: Label: en
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation: Label: en
Unification types in Euclidean modal logics: Label: en
Jónsson-style canonicity in distributive modal µ-calculus: Label: en
Robust schedules for tardiness optimization in job shop with interval uncertainty: Label: en
Global and saturated probabilistic approximations based on generalized maximal consistent blocks: Label: en
Editorial: Special issue HAIS20: Label: en
Intelligent model for active power prediction of a small wind turbine: Label: en
A support vector regression model for time series forecasting of the COMEX copper spot price: Label: en
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach: Label: en
On registration methods for SLAM with low resolution LiDAR sensor: Label: en
Investigating growth models with linearization domain analysis and residual analysis: Label: en
Hourly pollutants forecasting using a deep learning approach to obtain the AQI: Label: en
Design and implementation of parallel self-adaptive differential evolution for global optimization: Label: en
Data streams classification using deep learning under different speeds and drifts: Label: en
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0: Label: en
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables: Label: en
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot: Label: en
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network: Label: en
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem: Label: en
Editorial: Special issue SOCO 2020: Label: en
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case: Label: en
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning: Label: en
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link: Label: en